From b5897a62732dd7c13b2b10d7b132855d40afae0d Mon Sep 17 00:00:00 2001 From: Patrick Simianer Date: Thu, 15 Dec 2016 04:58:21 +0100 Subject: fix --- server.rb | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/server.rb b/server.rb index 752d0d5..38987de 100755 --- a/server.rb +++ b/server.rb @@ -303,10 +303,12 @@ def process_next reply tmp_rules << [src, tgt] } tmp_rules_new = tmp_rules.reject { |r| - current_grammar_ids.has_key? r + current_grammar_ids.has_key? r.join(' ||| ') } tmp_rules_known = tmp_rules - tmp_rules_new - tmp_rules_known.each { |i| no_loo_known_rules << "[X] ||| #{i[0]} ||| #{i[1]} ||| KnownRule=1 ||| 0-0" } + tmp_rules_known.each { |i| + no_loo_known_rules << "[X] ||| #{i[0]} ||| #{i[1]} ||| KnownRule=1 ||| 0-0" + } tmp_rules_new.each { |i| a = [] i[0].strip.lstrip.split.each_with_index { |s,ii| -- cgit v1.2.3