Remove useless simp_wf tactic callsHEADmain

1 files changed, 0 insertions, 1 deletions

diff --git a/Day12.lean b/Day12.lean
index a9aa172..63410be 100644
--- a/Day12.lean
+++ b/Day12.lean
@@ -72,7 +72,6 @@ where
       | .ok v => parseLeftBlock (s.drop 1) $ v :: p
   termination_by s => s.bsize
   decreasing_by
-    simp_wf
     rename_i h₁
     apply Substring.drop_bsize_dec _ _ h₁ Nat.one_ne_zero
   parseMaskChar : Char → Except ParsingError SpringState := λ