From 5f08f9b33083ff1cf76f26d5de2f4a52a3ff84f0 Mon Sep 17 00:00:00 2001
From: Michael Norrish <michael.norrish@anu.edu.au>
Date: Thu, 19 Dec 2024 09:48:32 +1100
Subject: [PATCH] Make it explicit that src/1/theory_tests uses hol.bare

---
 src/1/theory_tests/Holmakefile | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 src/1/theory_tests/Holmakefile

diff --git a/src/1/theory_tests/Holmakefile b/src/1/theory_tests/Holmakefile
new file mode 100644
index 0000000000..2d13e485b2
--- /dev/null
+++ b/src/1/theory_tests/Holmakefile
@@ -0,0 +1,3 @@
+ifdef POLY
+CLINE_OPTIONS = --holstate=$(HOLDIR)/bin/hol.state0
+endif