From 2a66ef3b242af924099d38cda38c2e5c771616fd Mon Sep 17 00:00:00 2001
From: Ramana Kumar
Date: Thu, 31 May 2018 13:41:45 +0100
Subject: Add auxiliary script to Holmakefile

---
 snapshots/hol4/sail/lib/hol/Holmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'snapshots')

diff --git a/snapshots/hol4/sail/lib/hol/Holmakefile b/snapshots/hol4/sail/lib/hol/Holmakefile
index adcbae6f..161de9d3 100644
--- a/snapshots/hol4/sail/lib/hol/Holmakefile
+++ b/snapshots/hol4/sail/lib/hol/Holmakefile
@@ -5,7 +5,7 @@ LEM_SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScr
 LEM_CLEANS = $(LEM_SCRIPTS)
 
 SCRIPTS = $(LEM_SCRIPTS) \
-  sail_valuesAuxiliaryScript.sml
+  sail_valuesAuxiliaryScript.sml stateAuxiliaryScript.sml
 
 THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
 
-- 
cgit v1.2.3