From 910474adc8c7d926cdd6778a4f58855d03473ded Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 28 Oct 2014 15:07:07 +0000
Subject: function in progress take 2

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem
index 98b1e447..6afe388e 100644
--- a/src/lem_interp/interp_inter_imp.lem
+++ b/src/lem_interp/interp_inter_imp.lem
@@ -251,7 +251,8 @@ let decode_to_istate top_level value =
 	(fun _ -> Interp.resume 
 	 (make_mode true false) 
 	 (Interp.Thunk_frame 
-	 (E_aux (E_app (Id_aux (Id "supported_instructions") Interp_ast.Unknown) [arg]) (Interp_ast.Unknown, Nothing)) 
+	 (E_aux (E_app (Id_aux (Id "supported_instructions") Interp_ast.Unknown) [arg]) 
+	    (Interp_ast.Unknown, Nothing)) 
 	 top_level Interp.eenv Interp.emem Interp.Top) Nothing) in
       match (instr_decoded,error) with
 	| (Just instr,_) ->
@@ -268,7 +269,8 @@ end
 let instruction_to_istate ((name, parms, _) as instr) = ()
 (*  let get_value (name,typ,v) = v in
   Instr instr
-    (Interp.Thunk_frame*)
+    (Interp.Thunk_frame
+       (E_aux (E_app (Id_aux (Id "execute") Interp_ast.Unknown)*)
        
   
 
-- 
cgit v1.2.3