summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Dyer <cdyer@allegro.clab.cs.cmu.edu>2014-04-02 20:19:35 -0400
committerChris Dyer <cdyer@allegro.clab.cs.cmu.edu>2014-04-02 20:19:35 -0400
commit54e527dbce04fdac6a5dc30c491b53d405d42931 (patch)
treedf171d85d620d2e43d9591567851b30032782535
parentdb41a3ca621447da38b5c2a1ba5c3ba1a47292fa (diff)
fix floating point issue
-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