From 348b33ca2541a8a713dd81ccc8e9931ba518bdf2 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Wed, 13 Nov 2024 16:14:37 -0500
Subject: [PATCH] Fold parens into functions when hiding functions

---
 src/haz3lcore/pretty/ExpToSegment.re | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
index 0ee2dc62b..1a048d12a 100644
--- a/src/haz3lcore/pretty/ExpToSegment.re
+++ b/src/haz3lcore/pretty/ExpToSegment.re
@@ -214,6 +214,7 @@ let rec exp_to_pretty = (~settings: Settings.t, exp: Exp.t): pretty => {
     let id = exp |> Exp.rep_id;
     let+ es = es |> List.map(any_to_pretty(~settings)) |> all;
     ListUtil.flat_intersperse(Grout({id, shape: Concave}), es);
+  | Parens({term: Fun(p, e, _, _), _})
   | Fun(p, e, _, _) =>
     // TODO: Add optional newlines
     let id = exp |> Exp.rep_id;