commenting out -notation-overridden

uds-psl · Jan 24, 2025 · fcaad8f · fcaad8f
1 parent e4e76dd
commit fcaad8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/theories/_CoqProject b/theories/_CoqProject
@@ -1,6 +1,6 @@
 -Q . Undecidability
 
--arg -w -arg -stdlib-vector,-notation-overridden #,-notation-incompatible-prefix,-closed-notation-not-level-0,-postfix-notation-not-level-1
+-arg -w -arg -stdlib-vector#,-notation-overridden #,-notation-incompatible-prefix,-closed-notation-not-level-0,-postfix-notation-not-level-1
 -arg "-set" -arg "'Default Proof Using = Type'"
 COQDOCFLAGS = "--charset utf-8 -s --with-header ../website/resources/header.html --with-footer ../website/resources/footer.html --index indexpage"