Fix unused module open

hazelgrove · Nov 18, 2024 · 4a8776c · 4a8776c
1 parent 5529383
commit 4a8776c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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')};