From ffdd378ceca4217319dbff40905f31a23f4458ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 13 Sep 2010 10:10:40 +0200
Subject: [PATCH] Make sure the error is printed last

---
 compiler/minils/main/mls2seq.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/minils/main/mls2seq.ml b/compiler/minils/main/mls2seq.ml
index 7657ee6..b6e51b8 100644
--- a/compiler/minils/main/mls2seq.ml
+++ b/compiler/minils/main/mls2seq.ml
@@ -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 =