quiet overactive assert failing on dirty paths (fix #34)

hazelgrove · Nov 4, 2024 · d7793b0 · d7793b0
1 parent 9d478a1
commit d7793b0
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/src/core/structure/Cell.re b/src/core/structure/Cell.re
@@ -290,10 +290,9 @@ module Space = {
           let shift = 2 * List.length(Meld.tokens(m));
           Marks.map_paths(
             fun
-            | [] => {
-                assert(r.meld == None);
-                [shift];
-              }
+            | [] =>
+              // assert(r.meld == None);
+              [shift]
             | [hd, ...tl] => [hd + shift, ...tl],
           );
         }