Skip to content
Snippets Groups Projects
Unverified Commit 688d9670 authored by Vincent Lafeychine's avatar Vincent Lafeychine Committed by Lennard Gäher
Browse files

fix dune file

parent 6f8d2eef
No related branches found
No related tags found
1 merge request!19Use Nix for GitLab pipelines
Pipeline #97958 passed with warnings
Hide whitespace changes
Inline Side-by-side
rr_frontend/output/minivec_patched/dune
+ 1
− 1
View file @ 688d9670
......@@ -2,4 +2,4 @@
(coq.theory
(flags -w -notation-overridden -w -redundant-canonical-projection)
(name refinedrust.examples.minivec_patched)
(theories caesium lithium refinedrust))
(theories stdpp iris Ltac2 Equations RecordUpdate lrust caesium lithium refinedrust))
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