From 68f22b52e40a8e6ea8b99d514faf3310547e63e6 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Thu, 23 Mar 2017 14:43:55 +0000
Subject: the interpreter/shallow expects little-endian memory-values

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

(limited to 'src/lem_interp/interp_interface.lem')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index 3e94285c..3ef6abb8 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -164,8 +164,8 @@ type interpreter_state = Interp.stack (*Deem abstract*)
 (* Will come from a .lem file generated by Sail, bound to a 'defs' identifier *)
 type specification = Interp_ast.defs Interp.tannot (*Deem abstract*)
 type interpreter_mode = Interp.interp_mode (*Deem abstract*)
-type interp_mode = <| internal_mode: interpreter_mode; endian: end_flag |>
-val make_mode : (*eager*) bool -> (*tracking*) bool -> end_flag -> interp_mode
+type interp_mode = <| internal_mode: interpreter_mode |>
+val make_mode : (*eager*) bool -> (*tracking*) bool -> interp_mode
 val tracking_dependencies : interp_mode -> bool
 
 
-- 
cgit v1.2.3