summaryrefslogtreecommitdiff
path: root/tests/coq/betree
diff options
context:
space:
mode:
Diffstat (limited to 'tests/coq/betree')
-rw-r--r--tests/coq/betree/Makefile1
-rw-r--r--tests/coq/betree/_CoqProject4
2 files changed, 3 insertions, 2 deletions
diff --git a/tests/coq/betree/Makefile b/tests/coq/betree/Makefile
index ff1ccd39..1a5aee4a 100644
--- a/tests/coq/betree/Makefile
+++ b/tests/coq/betree/Makefile
@@ -1,3 +1,4 @@
+# This file was automatically generated - modify ../Makefile.template instead
# Makefile originally taken from coq-club
%: Makefile.coq phony
diff --git a/tests/coq/betree/_CoqProject b/tests/coq/betree/_CoqProject
index 3cf45746..42c62421 100644
--- a/tests/coq/betree/_CoqProject
+++ b/tests/coq/betree/_CoqProject
@@ -1,9 +1,9 @@
+# This file was automatically generated - see ../Makefile
-R . Lib
-arg -w
-arg all
+BetreeMain_Types.v
Primitives.v
-
BetreeMain_Funs.v
BetreeMain_Opaque.v
-BetreeMain_Types.v \ No newline at end of file