From 0de8fd08ab3f27ea5f3c3bf5b584104e634234c5 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 26 Aug 2006 11:19:15 +0000 Subject: [PATCH] - removed () around sorts --- components/acic_content/cicNotationPp.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/components/acic_content/cicNotationPp.ml b/components/acic_content/cicNotationPp.ml index 568faa927..efcc25897 100644 --- a/components/acic_content/cicNotationPp.ml +++ b/components/acic_content/cicNotationPp.ml @@ -149,6 +149,7 @@ let rec pp_term ?(pp_parens = true) t = in match pp_parens, t with | false, _ + | true, Ast.Sort _ | true, Ast.Ident (_, Some []) | true, Ast.Ident (_, None) -> t_pp | _ -> sprintf "(%s)" t_pp -- 2.39.2