diff options
Diffstat (limited to 'lib/hol')
| -rw-r--r-- | lib/hol/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/hol/Makefile b/lib/hol/Makefile index c863a05b..ccd871dc 100644 --- a/lib/hol/Makefile +++ b/lib/hol/Makefile @@ -1,7 +1,7 @@ LEM_DIR?=$(shell opam config var lem:share) LEMSRC = \ - ../../src/lem_interp/sail2_instr_kinds.lem \ + ../../src/gen_lib/sail2_instr_kinds.lem \ ../../src/gen_lib/sail2_values.lem \ ../../src/gen_lib/sail2_operators.lem \ ../../src/gen_lib/sail2_operators_mwords.lem \ |