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/betree/_CoqProject | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/tests/coq/betree/_CoqProject b/tests/coq/betree/_CoqProject
index 3cf45746..42c62421 100644
--- a/tests/coq/betree/_CoqProject
+++ b/tests/coq/betree/_CoqProject
@@ -1,9 +1,9 @@
+# This file was automatically generated - see ../Makefile
 -R . Lib
 -arg -w
 -arg all
 
+BetreeMain_Types.v
 Primitives.v
-
 BetreeMain_Funs.v
 BetreeMain_Opaque.v
-BetreeMain_Types.v
\ No newline at end of file
-- 
cgit v1.2.3