summaryrefslogtreecommitdiff
path: root/tests/coq/hashmap/_CoqProject
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/hashmap/_CoqProject
parent2257d023478cd2fe44a0ff4d67c1c5b7e3b59061 (diff)
Regenerate tests
Diffstat (limited to '')
-rw-r--r--tests/coq/hashmap/_CoqProject4
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/coq/hashmap/_CoqProject b/tests/coq/hashmap/_CoqProject
index 7f80afbf..5d98662a 100644
--- a/tests/coq/hashmap/_CoqProject
+++ b/tests/coq/hashmap/_CoqProject
@@ -3,6 +3,6 @@
-arg -w
-arg all
-Hashmap_Types.v
+Hashmap_Funs.v
+Hashmap_Types.v
Primitives.v
-Hashmap_Funs.v