소스 검색

Merge branch 'master' of kompiler.org:trs into sort

Taddeus Kroes 14 년 전
부모
커밋
bffd9f5d98
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      src/parser.py

+ 1 - 1
src/parser.py

@@ -154,7 +154,7 @@ class Parser(BisonParser):
             left, right = filter(None, match.groups())
 
             # 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
 
             # If all characters on the right are numbers. e.g. "a4", the