Changed the lexer for Numeral to accept sequences of digits

tomahawkins · Apr 28, 2011 · 2fa2066 · 2fa2066
1 parent a630e98
commit 2fa2066
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Language/SMTLIB/Lexer.x b/Language/SMTLIB/Lexer.x
@@ -29,7 +29,7 @@ tokens :-
   \|[$printable \n # \|]*\|          { Symbol  }
   \:$sym+                            { Keyword }
   $digit+\.$digit+                   { Decimal . read }
-  $digit                             { Numeral . read }
+  $digit+                            { Numeral . read }
   \(                                 { const LeftParen  }
   \)                                 { const RightParen }
   \"(([$printable \n # \\]|\\.)*)\"  { String . read }