From 2355b20a32d8ed4924cee84a44831061b2b49b49 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 12 Jun 2008 17:16:20 -0400 Subject: Simple signature matching --- src/lacweb.lex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/lacweb.lex') diff --git a/src/lacweb.lex b/src/lacweb.lex index 2170c1d5..c5ce7ae8 100644 --- a/src/lacweb.lex +++ b/src/lacweb.lex @@ -129,7 +129,7 @@ realconst = [0-9]+\.[0-9]*; "fn" => (Tokens.FN (yypos, yypos + size yytext)); "structure" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); - "signature" => (Tokens.STRUCTURE (yypos, yypos + size yytext)); + "signature" => (Tokens.SIGNATURE (yypos, yypos + size yytext)); "struct" => (Tokens.STRUCT (yypos, yypos + size yytext)); "sig" => (Tokens.SIG (yypos, yypos + size yytext)); "end" => (Tokens.END (yypos, yypos + size yytext)); -- cgit v1.2.3