commit bdf8b385516ff304f9801fd252dd15ed436d1f63
author Sapan Bhatia <gwsapan@gmail.com> Fri Jul 14 11:09:05 2017 -0400
committer Sapan Bhatia <gwsapan@gmail.com> Fri Jul 14 11:09:05 2017 -0400
tree 7e0a5564e6e813fb9316f2847756f4cbd54ba0e3
parent 117609f7407a40552839756bfcd81112316c115b

Changed once again to true/false in Python syntax

plyxproto/logicparser.py

diff --git a/plyxproto/logicparser.py b/plyxproto/logicparser.py
index 16aea9a..c2de92f 100644
--- a/plyxproto/logicparser.py
+++ b/plyxproto/logicparser.py
@@ -9,7 +9,7 @@
 from helpers import LexHelper, LU
 
 class FOLLexer(object):
-    keywords = ('forall', 'exists', 'true', 'false', 'not')
+    keywords = ('forall', 'exists', 'True', 'False', 'not')
 
     tokens = ['ESCAPE', 'COLON', 'IMPLIES', 'OR', 'AND', 'LPAREN', 'RPAREN', 'EQUALS', 'SYMBOL', 'LT', 'RT'] + [k.upper() for k in keywords]
     # literals = '()+-*/=?:,.^|&~!=[]{};<>@%'