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/_CoqProject3
1 files changed, 2 insertions, 1 deletions
diff --git a/tests/coq/misc/_CoqProject b/tests/coq/misc/_CoqProject
index 7f4981fa..16fcaf44 100644
--- a/tests/coq/misc/_CoqProject
+++ b/tests/coq/misc/_CoqProject
@@ -9,4 +9,5 @@ External__Funs.v
External__Opaque.v
External__Types.v
NoNestedBorrows.v
-Paper.v \ No newline at end of file
+Paper.v
+PoloniusList.v \ No newline at end of file