From c4a5c2526259676cadb9b66d3a9d37021e9fd3d8 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 14 Nov 2019 17:02:07 +0000
Subject: Update location of sail2_instr_kinds.lem

---
 lib/hol/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/hol')

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 \
-- 
cgit v1.2.3