From 0933b8ccc06a067f8772b70f1bacc8b58097843b Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 10 Oct 2013 17:15:00 +0100
Subject: Fix fundecl and block Lem pretty-printing

---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 917a469f..c85cafb3 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -495,7 +495,7 @@ let rec pp_lem_let ppf (LB_aux(lb,_)) =
 
 and pp_lem_exp ppf (E_aux(e,_)) = 
   match e with
-  | E_block(exps) -> fprintf ppf "@[<0>%a [%a@] %a@]" 
+  | E_block(exps) -> fprintf ppf "@[<0>%a [%a] %a@]"
                                  kwd "(E_block" 
                                  (list_pp pp_semi_lem_exp pp_lem_exp) exps
                                  kwd ")"
-- 
cgit v1.2.3