Disable new warnings for Coq master

d5dd8793 · Tej Chajed · 31a0912c · d5dd8793
Verified Commit d5dd8793 authored May 07, 2019 by Tej Chajed
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

_CoqProject _CoqProject +1 -1

No files found.
--- a/_CoqProject
+++ b/_CoqProject
 -Q theories iris
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
+-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files,-undeclared-scope,-convert_concl_no_check
 theories/algebra/monoid.v
 theories/algebra/cmra.v
 theories/algebra/big_op.v