diff options
| -rwxr-xr-x | test/mono/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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" \ |