From 2127a1c2d4a1741939e1ab7006a968244a86376f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Tue, 29 Jun 2010 19:04:40 +0200
Subject: [PATCH] Mls printing fix.

---
 compiler/minils/mls_printer.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/compiler/minils/mls_printer.ml b/compiler/minils/mls_printer.ml
index 13a6b72..029417c 100644
--- a/compiler/minils/mls_printer.ml
+++ b/compiler/minils/mls_printer.ml
@@ -135,10 +135,12 @@ and print_array_op ff = function
         print_exp_tuple e_list
         print_every r
 
+and print_handler ff c =
+  fprintf ff "@[<2>%a@]" (print_couple print_longname print_exp "("" -> "")") c
+
 and print_tag_e_list ff tag_e_list =
   fprintf ff "@[%a@]"
-    (print_list
-       (print_couple print_longname print_exp "("" -> "")") """""") tag_e_list
+    (print_list print_handler """""") tag_e_list
 
 
 let print_eq ff { eq_lhs = p; eq_rhs = e } =