From 6f714017d71a512042b22d7d0e987f75b47a088f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 14 Nov 2022 14:14:38 +0100
Subject: Extract the Polonius examples in Coq

---
 tests/coq/misc/_CoqProject | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tests/coq/misc/_CoqProject')

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
-- 
cgit v1.2.3