fix #30

hazelgrove · Nov 2, 2024 · 1b3644b · 1b3644b
1 parent 90a1254
commit 1b3644b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re
@@ -28,7 +28,7 @@ let relabel =
   // push left face back if its labeling remains unchanged
   let (labeled, rest, pushed_back_left) =
     switch (labeled) {
-    | [hd, ...tl] when hd.text == s_l && s_l != "" =>
+    | [hd, ...tl] when hd.text == s_l && s_l != "" && !merges =>
       let ctx =
         Delim.is_tok(l)
         |> Option.map(t => Ctx.push(~onto=L, t, rest))