From 7e848fcf1bda4780eb79c82b9a153a7de90cc23a Mon Sep 17 00:00:00 2001 From: David Moon Date: Sun, 1 Sep 2024 01:04:33 -0400 Subject: [PATCH] rm stale todo --- src/core/parser/Melder.re | 1 - 1 file changed, 1 deletion(-) diff --git a/src/core/parser/Melder.re b/src/core/parser/Melder.re index 350ba656..fb0589fd 100644 --- a/src/core/parser/Melder.re +++ b/src/core/parser/Melder.re @@ -40,7 +40,6 @@ let eq = (l: Wald.t, r: Wald.t) => // assumes w is already oriented toward side. // used to complete zigg top when it takes precedence over pushed wald. let complete_wald = (~side: Dir.t, ~fill=Cell.empty, w: Wald.t): Terr.t => { - let _ = failwith("todo: review side arg in callers"); let from = Dir.toggle(side); let exited = Walker.exit(~from, Node(Wald.face(w))); let baked = Grouter.pick(~repair=true, ~from, [fill], exited);