From cb521c9b689da31f9d205e6b1de3b7cfeed60578 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:20:24 +0200
Subject: [PATCH] Fix the (commented) code that prints an exp

---
 compiler/main/mls2obc.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml
index ec324aa..d3b4458 100644
--- a/compiler/main/mls2obc.ml
+++ b/compiler/main/mls2obc.ml
@@ -156,7 +156,9 @@ and translate_act map context pat
 
     | Minils.Evarpat n, _ ->
         [Aassgn (var_from_name map n, translate map context act)]
-    | _ -> (*Minils_printer.print_exp stdout act;*) assert false
+    | _ ->
+      (*let ff = Format.formatter_of_out_channel stdout in
+        Mls_printer.print_exp ff act; Format.fprintf ff "@?";*) assert false
 
 and translate_c_act_list map context pat c_act_list =
   List.map