Skip to content
Snippets Groups Projects
Verified Commit ffc3fd5a authored by Johannes Hostert's avatar Johannes Hostert
Browse files

remove potentially double-blind link

parent e2096174
Branches jh/bug
No related tags found
1 merge request!18Tree Borrows update
Pipeline #111444 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_CoqProject
+ 1
− 1
View file @ ffc3fd5a
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
# Cannot use non-canonical projections as it causes massive unification failures # Cannot use non-canonical projections as it causes massive unification failures
# (https://github.com/coq/coq/issues/6294). # (https://github.com/coq/coq/issues/6294).
-arg -w -arg -redundant-canonical-projection -arg -w -arg -redundant-canonical-projection
# Warning seems incorrect, see https://gitlab.mpi-sws.org/iris/stdpp/-/issues/216 # Warning seems incorrect
-arg -w -arg -notation-incompatible-prefix -arg -w -arg -notation-incompatible-prefix
theories/logic/satisfiable.v theories/logic/satisfiable.v
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment