diff options
Diffstat (limited to 'common/DebugPrint.ml')
-rw-r--r-- | common/DebugPrint.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/DebugPrint.ml b/common/DebugPrint.ml index d94b31d8..83a485b0 100644 --- a/common/DebugPrint.ml +++ b/common/DebugPrint.ml @@ -133,7 +133,7 @@ let print_instructions insts code = debug "[ "; List.iter ( fun n -> (PrintRTL.print_instruction stdout (P.to_int n, get_some @@ PTree.get n code)) - ) insts; debug "]" + ) insts; debug " ]" end let print_arrayp arr = begin |