1 files changed, 3 insertions, 5 deletions
diff --git a/common/DebugPrint.ml b/common/DebugPrint.ml
index 275e6a71..83a485b0 100644
--- a/common/DebugPrint.ml
+++ b/common/DebugPrint.ml
@@ -1,6 +1,7 @@
 open Maps
 open Camlcoq
 open Registers
+open RTLcommonaux
 
 let debug_flag = ref false
 
@@ -128,11 +129,8 @@ end
 
 
 let print_instructions insts code =
-  let get_some = function
-  | None -> failwith "Did not get some"
-  | Some thing -> thing
-  in if (!debug_flag) then begin
-    debug "[\n";
+  if (!debug_flag) then begin
+    debug "[ ";
     List.iter (
       fun n -> (PrintRTL.print_instruction stdout (P.to_int n, get_some @@ PTree.get n code))
     ) insts; debug "  ]"