change printing

[lambda.git] / lambda.l

diff --git a/lambda.l b/lambda.l
index 2c74444..89256b4 100644 (file)
--- a/lambda.l
+++ b/lambda.l
@@ -16,6 +16,7 @@
 \.        return DOT;
 \(        return OBRACE;
 \)        return CBRACE;
+\!        return BANG;
 true      yylval = make_bool(true); return LITERAL;
 false     yylval = make_bool(false); return LITERAL;
 [0-9]+    yylval = make_numeral(atoi(yytext)); return LITERAL;