From 4a8776c63c908b6e112b096badf3d0f1b95c5abe Mon Sep 17 00:00:00 2001
From: Alexander Bandukwala <7h3kk1d@gmail.com>
Date: Mon, 18 Nov 2024 10:30:29 -0500
Subject: [PATCH] Fix unused module open

---
 src/haz3lcore/zipper/EditorUtil.re | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/haz3lcore/zipper/EditorUtil.re b/src/haz3lcore/zipper/EditorUtil.re
index 30104cf4a8..70944cf5bc 100644
--- a/src/haz3lcore/zipper/EditorUtil.re
+++ b/src/haz3lcore/zipper/EditorUtil.re
@@ -34,7 +34,7 @@ let rec append_exp = (e1: Exp.t, e2: Exp.t): Exp.t => {
   | BinOp(_)
   | BuiltinFun(_)
   | Cast(_)
-  | Match(_) => Exp.{ids: [Id.mk()], copied: false, term: Seq(e1, e2)}
+  | Match(_) => {ids: [Id.mk()], copied: false, term: Seq(e1, e2)}
   | Seq(e11, e12) =>
     let e12' = append_exp(e12, e2);
     {ids: e1.ids, copied: false, term: Seq(e11, e12')};