From 541bd325e7e0be52aa27dd56f16f489c44e05d2b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 24 Feb 2009 13:46:08 -0500
Subject: Top.Fold.concat elaborates

---
 src/urweb.lex | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/urweb.lex')

diff --git a/src/urweb.lex b/src/urweb.lex
index bb57f03d..cbbf2a52 100644
--- a/src/urweb.lex
+++ b/src/urweb.lex
@@ -276,6 +276,7 @@ notags = [^<{\n]+;
 <INITIAL> "*"         => (Tokens.STAR (pos yypos, pos yypos + size yytext));
 <INITIAL> "<-"        => (Tokens.LARROW (pos yypos, pos yypos + size yytext));
 <INITIAL> ";"         => (Tokens.SEMI (pos yypos, pos yypos + size yytext));
+<INITIAL> "!"         => (Tokens.BANG (pos yypos, pos yypos + size yytext));
 
 <INITIAL> "+"         => (Tokens.PLUS (pos yypos, pos yypos + size yytext));
 <INITIAL> "-"         => (Tokens.MINUS (pos yypos, pos yypos + size yytext));
-- 
cgit v1.2.3