diff options
| author | Alasdair Armstrong | 2019-11-07 18:31:27 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-11-07 18:31:27 +0000 |
| commit | 90a5dcd4bfb2f414cda201d1c7e3c6a0e6f173de (patch) | |
| tree | 02671acd7c34fe530602e8375bf85ac87fe3194b /test | |
| parent | 5401a0f348c37a4bfaf084b24a74ee6ad924cf74 (diff) | |
Make the world a slightly more sane and consistent place
Diffstat (limited to 'test')
| -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" \ |