1 files 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|