Skip to content
Snippets Groups Projects
Commit 55421720 authored by Michael Sammler's avatar Michael Sammler Committed by Rodolphe Lepigre
Browse files

remove duplicate examples

parent 85c99c44
No related branches found
No related tags found
1 merge request!2Dune build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_CoqProject
+ 1
− 1
View file @ 55421720
......@@ -4,7 +4,7 @@
# Cannot use non-canonical projections as it causes massive unification failures
# (https://github.com/coq/coq/issues/6294).
-arg -w -arg -redundant-canonical-projection
-Q _build/default/examples/+rc+/spinlock refinedc.examples.examples.spinlock
-Q _build/default/examples/+rc+/spinlock refinedc.examples.spinlock
-Q _build/default/examples/+rc+/mpool_simpl refinedc.examples.mpool_simpl
-Q _build/default/examples/+rc+/mpool refinedc.examples.mpool
-Q _build/default/examples/+rc+/malloc1 refinedc.examples.malloc1
......
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