From a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 16 Nov 2022 14:40:34 +0100
Subject: Automatically generate the Makefile and _CoqProject files in the
 tests subdirectories

---
 tests/coq/misc/_CoqProject | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

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