model and checks

[repair.git] / Repair / RepairCompiler / MCC / Lexer.lex

diff --git a/Repair/RepairCompiler/MCC/Lexer.lex b/Repair/RepairCompiler/MCC/Lexer.lex
index 8c8d5d0598b0b864e801ffb7c723393a706434cf..b1a20f9f0682a8a85422eabf7b28663ead93382d 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Lexer.lex
+++ b/Repair/RepairCompiler/MCC/Lexer.lex
@@ -69,6 +69,7 @@ CHAR=(\\\"|\\\'|\\\\|\\t|\\n|[\x20-\x21\x23-\x26\x28-\x5B\x5D-\x7E])
 <YYINITIAL> param                      { return tok(Sym.PARAM, yytext()); }
 <YYINITIAL> "=>"                       { return tok(Sym.IMPLIES, yytext()); }
 <YYINITIAL> true                       { return tok(Sym.TRUE, yytext()); }
+<YYINITIAL> false                      { return tok(Sym.FALSE, yytext()); }
 <YYINITIAL> isvalid                    { return tok(Sym.ISVALID, yytext()); }
 <YYINITIAL> for                                { return tok(Sym.FOR, yytext()); }
 <YYINITIAL> to                         { return tok(Sym.TO, yytext()); }