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/fstar/betree_back_stateful/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/fstar/betree_back_stateful')

diff --git a/tests/fstar/betree_back_stateful/Makefile b/tests/fstar/betree_back_stateful/Makefile
index 14790d6d..fa7d1f36 100644
--- a/tests/fstar/betree_back_stateful/Makefile
+++ b/tests/fstar/betree_back_stateful/Makefile
@@ -1,3 +1,4 @@
+# This file was automatically generated - modify ../Makefile.template instead
 INCLUDE_DIRS = .
 
 FSTAR_INCLUDES = $(addprefix --include ,$(INCLUDE_DIRS))
-- 
cgit v1.2.3