From fa3c145f68d9865ee48abe171f5958a1f154cd0a Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 8 Apr 2014 14:15:38 +0100
Subject: Try to reduce size of Lem output a little bit

---
 src/pretty_print.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/pretty_print.ml b/src/pretty_print.ml
index 4ce89f71..153147d3 100644
--- a/src/pretty_print.ml
+++ b/src/pretty_print.ml
@@ -584,7 +584,7 @@ let pp_format_tag = function
 
 let pp_format_nes nes = 
   "[" ^ 
-  (list_format "; "
+  (*(list_format "; "
      (fun ne -> match ne with
        | LtEq(_,n1,n2) -> "(Nec_lteq " ^ pp_format_n n1 ^ " " ^ pp_format_n n2 ^ ")"
        | Eq(_,n1,n2) -> "(Nec_eq " ^ pp_format_n n1 ^ " " ^ pp_format_n n2 ^ ")"
@@ -594,7 +594,7 @@ let pp_format_nes nes =
        | InS(_,{nexp = Nuvar _},ns) | InOpen(_,{nexp = Nuvar _},ns) ->  
 	 "(Nec_in \"fresh\" [" ^ (list_format "; " string_of_int ns)^ "])"
      )
-     nes) ^ "]"
+     nes) ^*) "]"
 
 let pp_format_annot = function
   | None -> "Nothing"
-- 
cgit v1.2.3