From 90a5dcd4bfb2f414cda201d1c7e3c6a0e6f173de Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 7 Nov 2019 18:31:27 +0000
Subject: Make the world a slightly more sane and consistent place

---
 test/mono/run_tests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/mono/run_tests.sh b/test/mono/run_tests.sh
index d2023229..f95dc7d5 100755
--- a/test/mono/run_tests.sh
+++ b/test/mono/run_tests.sh
@@ -72,7 +72,7 @@ do
                "$SAILDIR/src/gen_lib/sail2_values.lem" \
                "$SAILDIR/src/gen_lib/sail2_operators.lem" \
                "$SAILDIR/src/gen_lib/sail2_operators_mwords.lem" \
-               "$SAILDIR/src/lem_interp/sail2_instr_kinds.lem" \
+               "$SAILDIR/src/gen_lib/sail2_instr_kinds.lem" \
                "$SAILDIR/src/gen_lib/sail2_prompt.lem" \
                "$SAILDIR/src/gen_lib/sail2_state_monad.lem" \
                "$SAILDIR/src/gen_lib/sail2_state.lem" \
-- 
cgit v1.2.3