lib/lrama/counterexamples.rb in lrama-0.5.4 vs lib/lrama/counterexamples.rb in lrama-0.5.5

- old
+ new

@@ -203,21 +203,19 @@ result.reverse end def build_paths_from_state_items(state_items) - paths = state_items.zip([nil] + state_items).map do |si, prev_si| + state_items.zip([nil] + state_items).map do |si, prev_si| case when prev_si.nil? StartPath.new(si) when si.item.beginning_of_rule? ProductionPath.new(prev_si, si) else TransitionPath.new(prev_si, si) end end - - paths end def shortest_path(conflict_state, conflict_reduce_item, conflict_term) # queue: is an array of [Triple, [Path]] queue = []