From 7f91ffab53ae9edf8d22bf1919382ec3a342d3af Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 21 Jul 2010 17:24:18 +0200
Subject: [PATCH] Output MiniLS code before clocking when in verbose mode.

---
 compiler/main/heptc.ml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/main/heptc.ml b/compiler/main/heptc.ml
index 6cfbf12..4c1d987 100644
--- a/compiler/main/heptc.ml
+++ b/compiler/main/heptc.ml
@@ -53,12 +53,13 @@ let compile_impl modname filename =
     let pp = Mls_printer.print stdout in
     comment "Translation into MiniLs";
     Mls_printer.print mlsc p;
+    if !Misc.verbose then pp p;
 
     (* Process the MiniLS AST *)
     let p = Mls_compiler.compile pp p in
 
-      (* Generate the sequential code *)
-      Mls2seq.program p;
+    (* Generate the sequential code *)
+    Mls2seq.program p;
 
     close_all_files ()