summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject
diff options
context:
space:
mode:
authorSon Ho2023-07-06 12:20:28 +0200
committerSon Ho2023-07-06 12:20:28 +0200
commit7c95800cefc87fad894f8bf855cfc047e713b3a7 (patch)
tree11b22541914a933bef896b5e765b002ac934faae /tests/coq/misc/_CoqProject
parent5ca36bfc50083a01af2b7ae5f75993a520757ef5 (diff)
Improve the generated comments
Diffstat (limited to '')
-rw-r--r--tests/coq/misc/_CoqProject6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
index 87dea3e6..db6c2742 100644
--- a/tests/coq/misc/_CoqProject
+++ b/tests/coq/misc/_CoqProject
@@ -3,12 +3,12 @@
-arg -w
-arg all
-Constants.v
-External_Types.v
-Primitives.v
Loops.v
+Primitives.v
External_Funs.v
+Constants.v
PoloniusList.v
+External_Types.v
NoNestedBorrows.v
External_Opaque.v
Paper.v