summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
diff options
context:
space:
mode:
Diffstat (limited to 'tests/coq/misc/_CoqProject')
-rw-r--r--tests/coq/misc/_CoqProject8
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
index b8590272..c9ee0ff6 100644
--- a/tests/coq/misc/_CoqProject
+++ b/tests/coq/misc/_CoqProject
@@ -1,13 +1,13 @@
+# This file was automatically generated - see ../Makefile
-R . Lib
-arg -w
-arg all
Primitives.v
-
-Constants.v
External_Funs.v
-External_Opaque.v
+Constants.v
+PoloniusList.v
External_Types.v
NoNestedBorrows.v
+External_Opaque.v
Paper.v
-PoloniusList.v \ No newline at end of file