Updated _CoqProject with change to general auth_excl CMRA.

699d83ed · Jonas Kastberg Hinrichsen · eb7e35d1 · 699d83ed
Commit 699d83ed authored Apr 01, 2019 by Jonas Kastberg Hinrichsen
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 1 deletion

_CoqProject _CoqProject +0 -1

No files found.
--- a/_CoqProject
+++ b/_CoqProject
 -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