Fix an error when str.length is greater than length

This PR fix an error when `str.length` is greater than `length`. Reproduced by parse.y below: https://gist.github.com/ydah/70186de8a1ff14fa2cd16b338b9fc0e0
ydah · Oct 12, 2024 · cc7e2b0 · cc7e2b0
1 parent a7842f8
commit cc7e2b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/lrama/counterexamples/derivation.rb b/lib/lrama/counterexamples/derivation.rb
@@ -44,7 +44,7 @@ def _render_for_report(derivation, offset, strings, index)
           str << "#{item.next_sym.display_name}"
           length = _render_for_report(derivation.left, len, strings, index + 1)
           # I want String#ljust!
-          str << " " * (length - str.length)
+          str << " " * (length - str.length) if length > str.length
         else
           str << " • #{item.symbols_after_dot.map(&:display_name).join(" ")} "
           return str.length