From 699d83edda6d7da5f77e4ae0c563c3f5cceaaa1b Mon Sep 17 00:00:00 2001
From: Jonas Kastberg Hinrichsen <jkas@itu.dk>
Date: Mon, 1 Apr 2019 17:06:56 +0200
Subject: [PATCH] Updated _CoqProject with change to general auth_excl CMRA.

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index 51ce819..b143428 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,7 +1,6 @@
 -Q theories osiris
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
 theories/list.v
-theories/buffer.v
 theories/auth_excl.v
 theories/channel.v
 
-- 
GitLab