From 95ef30a6d2fd54fe3c1bb315d333cf35e8542a3b Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Wed, 9 Nov 2016 10:29:32 +0000
Subject: move decode_error type back to Sail_impl_base for now

---
 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 2178bb50..ea3ba154 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -158,12 +158,12 @@ val initial_instruction_state : context -> string -> list register_value -> inst
 
 type instruction_or_decode_error =
   | IDE_instr of instruction * Interp.value
-  | IDE_decode_error of Interp.decode_error
+  | IDE_decode_error of decode_error
 
 (** propose to remove the following type and use the above instead *)
 type i_state_or_error =
   | Instr of instruction * instruction_state
-  | Decode_error of Interp.decode_error
+  | Decode_error of decode_error
 
 
 (** PS:I agree. propose to remove this: Function to decode an instruction and build the state to run it*)
-- 
cgit v1.2.3