Remove space between partheneses

hazelgrove · Sep 17, 2024 · 756930f · 756930f
1 parent 39d0fa8
commit 756930f
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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
   };