diff options
Diffstat (limited to 'lib/hol/Makefile')
| -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 204328d4..c863a05b 100644 --- a/lib/hol/Makefile +++ b/lib/hol/Makefile @@ -1,4 +1,4 @@ -LEM_DIR?=$(shell opam config var lem:share)/hol-lib +LEM_DIR?=$(shell opam config var lem:share) LEMSRC = \ ../../src/lem_interp/sail2_instr_kinds.lem \ |