Fix deferred ap in ExpToSegment

hazelgrove · Dec 2, 2024 · 8d20dee · 8d20dee
1 parent 100f8ef
commit 8d20dee
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
@@ -337,13 +337,14 @@ let rec exp_to_pretty = (~settings: Settings.t, exp: Exp.t): pretty => {
         "ap_exp",
         id,
         [
-          List.flatten(
-            List.map2(
-              (id, e) => [mk_form("comma_exp", id, [])] @ e,
-              ids,
-              es,
+          (es |> List.hd)
+          @ List.flatten(
+              List.map2(
+                (id, e) => [mk_form("comma_exp", id, [])] @ e,
+                ids |> List.tl,
+                es |> List.tl,
+              ),
             ),
-          ),
         ],
       ),
     ];