summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--decoder/rule_lexer.ll2
1 files changed, 1 insertions, 1 deletions
diff --git a/decoder/rule_lexer.ll b/decoder/rule_lexer.ll
index 05963d05..cc73c079 100644
--- a/decoder/rule_lexer.ll
+++ b/decoder/rule_lexer.ll
@@ -119,7 +119,7 @@ void check_and_update_ctf_stack(const TRulePtr& rp) {
%}
-REAL [\-+]?[0-9]+(\.[0-9]*([eE][-+]*[0-9]+)?)?|inf|[\-+]inf
+REAL [\-+]?[0-9]+(\.[0-9]*)?([eE][-+]*[0-9]+)?
NT [^\t \[\],]+
%x LHS_END SRC TRG FEATS FEATVAL ALIGNS TREE