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
commitc6594204eca97388b8d1e2ec3ba442085bc5788d (patch)
treeae0163d843c3a43ea5025997690e2a539c0959ba
parente67832f390641b1e99a439bdadf3c79a12a5ae08 (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