summaryrefslogtreecommitdiff
path: root/src/urweb.lex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 18:49:38 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-06 18:49:38 -0500
commit3af6c283c504e7e85d9e127f64a5eb72abe583ee (patch)
tree89c4891d29fe4c10e81ed23ad7747b2a7d115064 /src/urweb.lex
parent98d669cf07157e275fa796fdd5ad35f3388b0ad1 (diff)
Tree demo works
Diffstat (limited to 'src/urweb.lex')
-rw-r--r--src/urweb.lex1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/urweb.lex b/src/urweb.lex
index f4ae3a85..642282ec 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -358,6 +358,7 @@ notags = [^<{\n]+;
<INITIAL> "SET" => (Tokens.SET (pos yypos, pos yypos + size yytext));
<INITIAL> "DELETE" => (Tokens.DELETE (pos yypos, pos yypos + size yytext));
<INITIAL> "NULL" => (Tokens.NULL (pos yypos, pos yypos + size yytext));
+<INITIAL> "IS" => (Tokens.IS (pos yypos, pos yypos + size yytext));
<INITIAL> "CURRENT_TIMESTAMP" => (Tokens.CURRENT_TIMESTAMP (pos yypos, pos yypos + size yytext));