From 1bb5fcf93261f2de51909ff51bf229d21e4b13a6 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Thu, 14 Jun 2018 16:37:31 +0100
Subject: rename all lem support files to sail2_foo to avoid conflict with
 sail1 in rmem

---
 src/value2.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/value2.lem')

diff --git a/src/value2.lem b/src/value2.lem
index 09d74520..d14dd87d 100644
--- a/src/value2.lem
+++ b/src/value2.lem
@@ -52,7 +52,7 @@ open import Pervasives
 open import Assert_extra
 open Map
 
-open import Sail_values
+open import Sail2_values
 
 type vl =
   | V_vector of list vl
-- 
cgit v1.2.3