|
@@ -9,7 +9,7 @@ let phase = function
|
|
|
Print.print_assembly oc instrs;
|
|
Print.print_assembly oc instrs;
|
|
|
close_out oc
|
|
close_out oc
|
|
|
| None ->
|
|
| None ->
|
|
|
- if Globals.args.verbose >= 1 then prerr_endline hline;
|
|
|
|
|
|
|
+ if Globals.args.verbose > 1 then prerr_endline hline;
|
|
|
Print.print_assembly stdout instrs
|
|
Print.print_assembly stdout instrs
|
|
|
end;
|
|
end;
|
|
|
Empty
|
|
Empty
|