diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
index 19a534fc10..45e3b60931 100644
--- a/src/haz3lcore/pretty/ExpToSegment.re
+++ b/src/haz3lcore/pretty/ExpToSegment.re
@@ -33,6 +33,11 @@ let should_add_space = (s1, s2) =>
   | _ when String.starts_with(s2, ~prefix=" ") => false
   | _ when String.ends_with(s1, ~suffix="⏎") => false
   | _ when String.starts_with(s2, ~prefix="⏎") => false
+  | _
+      when
+        String.ends_with(s1, ~suffix=")")
+        && String.starts_with(s2, ~prefix="(") =>
+    false
   | _ => true
   };