From 488587ef0c9d6ff5ef35692510e8cf30bcad4fed Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Nov 2014 16:32:48 +0000
Subject: instruction printing

---
 src/lem_interp/printing_functions.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index a8eebf97..adb04d02 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -397,8 +397,7 @@ let rec instr_parms_to_string ps =
 let pad n s = if String.length s < n then s ^ String.make (n-String.length s) ' ' else s
 
 let instruction_to_string (name, parms, base_effects) = 
-   raise (Failure "TODO instruction_to_string")
-(*  (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms *)
+  (pad 5 (String.lowercase name)) ^ " " ^ instr_parms_to_string parms 
 
 let print_backtrace_compact printer stack = List.iter (fun (e,(env,mem)) -> print_exp printer env e) (compact_stack stack)
 let print_continuation printer stack = let (e,(env,mem)) = top_frame_exp_state stack in print_exp printer env e
-- 
cgit v1.2.3