jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Make sure the error is printed last

Browse source
This commit is contained in:
Cédric Pasteur 2010-09-13 10:10:40 +02:00
parent 653de74a9d
commit ffdd378cec
1 changed files with 1 additions and 1 deletions

2
compiler/minils/main/mls2seq.ml
View file

@ -65,7 +65,7 @@ let generate_target p s =
print_unfolded p_list;
comment "Translation to Obc";
if !Misc.verbose then
List.iter (Obc_printer.print_prog Format.std_formatter) o_list;
List.iter (Obc_printer.print stdout) o_list;
List.iter convert_fun o_list
let program p =