From 8d20deebc1dabd3910f88246474118af82f90755 Mon Sep 17 00:00:00 2001
From: Matt Keenan <negabinary@gmail.com>
Date: Mon, 2 Dec 2024 12:15:00 -0500
Subject: [PATCH] Fix deferred ap in ExpToSegment

---
 src/haz3lcore/pretty/ExpToSegment.re | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/haz3lcore/pretty/ExpToSegment.re b/src/haz3lcore/pretty/ExpToSegment.re
index 7cf1ab3297..2a85b97496 100644
--- 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,
+              ),
             ),
-          ),
         ],
       ),
     ];