From a97cd6081df6a76c9daa34c773d82f21f5d014c8 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Fri, 15 Sep 2017 11:50:54 +0100
Subject: reinstate deep/shallow conversion

---
 src/lem_interp/sail_impl_base.lem | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/sail_impl_base.lem b/src/lem_interp/sail_impl_base.lem
index 48ddd10e..e6169762 100644
--- a/src/lem_interp/sail_impl_base.lem
+++ b/src/lem_interp/sail_impl_base.lem
@@ -428,6 +428,8 @@ end
 
 (* Data structures for building up instructions *)
 
+(* careful: changes in the read/write/barrier kinds have to be
+   reflected in deep_shallow_convert *)
 type read_kind =
   (* common reads *)
   | Read_plain
-- 
cgit v1.2.3