summaryrefslogtreecommitdiff
path: root/tests/coq/betree
diff options
context:
space:
mode:
authorAymeric Fromherz2024-05-31 14:25:23 +0200
committerAymeric Fromherz2024-05-31 14:25:23 +0200
commit2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9 (patch)
treeabd2aa08f32c9793ea6f32c4f8e16bee7e7a796d /tests/coq/betree
parent2257d023478cd2fe44a0ff4d67c1c5b7e3b59061 (diff)
Regenerate tests
Diffstat (limited to 'tests/coq/betree')
-rw-r--r--tests/coq/betree/_CoqProject12
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/coq/betree/_CoqProject b/tests/coq/betree/_CoqProject
index b14bed66..2ba444c2 100644
--- a/tests/coq/betree/_CoqProject
+++ b/tests/coq/betree/_CoqProject
@@ -3,10 +3,10 @@
-arg -w
-arg all
-BetreeMain_TypesExternal_Template.v
-BetreeMain_Types.v
+BetreeMain_Funs.v
+BetreeMain_FunsExternal.v
+BetreeMain_FunsExternal_Template.v
+BetreeMain_Types.v
+BetreeMain_TypesExternal.v
+BetreeMain_TypesExternal_Template.v
Primitives.v
-BetreeMain_FunsExternal_Template.v
-BetreeMain_Funs.v
-BetreeMain_TypesExternal.v
-BetreeMain_FunsExternal.v