rm spurious degrouted marking

hazelgrove · Nov 8, 2024 · 3bd4f9a · 3bd4f9a
1 parent 8fe2efd
commit 3bd4f9a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re
@@ -318,7 +318,6 @@ let delete_toks =
          );
        },
      )
-  |> Chain.map_loop(Cell.mark_degrouted(~side=L))
   // finally, unmold the tokens (only relabeling the last token)
   |> Chain.mapi_link(i => Token.unmold(~relabel=i - 1 / 2 == n - 1));
 };