Przeglądaj źródła

Merge branch 'negated'

Sander Mathijs van Veen 14 lat temu
rodzic
commit
54eb9c5b8c
1 zmienionych plików z 1 dodań i 1 usunięć
  1. 1 1
      src/parser.py

+ 1 - 1
src/parser.py

@@ -154,7 +154,7 @@ class Parser(BisonParser):
             left, right = filter(None, match.groups())
             left, right = filter(None, match.groups())
 
 
             # Filter words (otherwise they will be preprocessed as well)
             # Filter words (otherwise they will be preprocessed as well)
-            if left + right in ['graph', 'raise']:
+            if (left + right).upper() in self.tokens:
                 return left + right
                 return left + right
 
 
             # If all characters on the right are numbers. e.g. "a4", the
             # If all characters on the right are numbers. e.g. "a4", the