From 1ffeaaa94a308fcbe7f71e1c9493ae74fc910e75 Mon Sep 17 00:00:00 2001 From: David Moon Date: Sun, 3 Nov 2024 23:39:46 -0500 Subject: [PATCH] wow --- src/core/editor/Modify.re | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re index 8faf01f7..ad0f42a2 100644 --- a/src/core/editor/Modify.re +++ b/src/core/editor/Modify.re @@ -97,7 +97,7 @@ let mold = let ((l, r), rest) = Ctx.unlink_stacks(ctx); let+ (tok, grouted, l) = Molder.mold(l, ~fill, tok); let connected = Stack.connect(tok, grouted, l); - connected.bound == r.bound + connected.bound == l.bound ? Ctx.link_stacks((connected, r), rest) : Ctx.map_hd( Frame.Open.cat(Stack.(to_slope(connected), to_slope(r))),