From 744565250e981bd77816a504520b330945e0c0bd Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Tue, 17 Aug 2010 12:21:21 +0200
Subject: [PATCH] Missing new-line for const pretty-printing in Mls_printer

---
 compiler/minils/mls_printer.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/minils/mls_printer.ml b/compiler/minils/mls_printer.ml
index 21e7804..3fc99a1 100644
--- a/compiler/minils/mls_printer.ml
+++ b/compiler/minils/mls_printer.ml
@@ -56,7 +56,8 @@ let print_const_dec ff c =
       print_name c.c_name print_type c.c_type print_static_exp c.c_value
   else
     fprintf ff "const %a = %a"
-      print_name c.c_name print_static_exp c.c_value
+      print_name c.c_name print_static_exp c.c_value;
+  fprintf ff "@."
 
 
 let rec print_params ff l =