summaryrefslogtreecommitdiff
path: root/extools
diff options
context:
space:
mode:
authortrevor.cohn <trevor.cohn@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-08-04 11:19:47 +0000
committertrevor.cohn <trevor.cohn@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-08-04 11:19:47 +0000
commit640f70df254278e62f26e58f44df144c34c93c9e (patch)
treed9e651c723f6ee2a68b12e5c7066b2a34b6c1bb5 /extools
parent93049316b48a5c2e856e4087ff71241c94544d28 (diff)
allow for wider set of NT strings
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@477 ec762483-ff6d-05da-a07a-a48fb63a330f
Diffstat (limited to 'extools')
-rw-r--r--extools/sg_lexer.l4
1 files changed, 3 insertions, 1 deletions
diff --git a/extools/sg_lexer.l b/extools/sg_lexer.l
index 9051ba51..168b835a 100644
--- a/extools/sg_lexer.l
+++ b/extools/sg_lexer.l
@@ -79,7 +79,7 @@ static void sglex_reset() {
%}
REAL [\-+]?[0-9]+(\.[0-9]*([eE][-+]*[0-9]+)?)?|inf|[\-+]inf
-NT [\-#$A-Z_:=.",\\][\-#$".A-Z+/=_0-9!:@\\]*
+NT [^\t \[\],]+
ALIGN [0-9]+-[0-9]+
%x LHS_END SRC TRG FEATS FEATVAL ALIGNS
@@ -191,6 +191,8 @@ ALIGN [0-9]+-[0-9]+
}
<TRG>\|\|\| {
+ //std::cerr << " trg_size: " << sglex_trg_rhs_size << std::endl;
+ //std::cerr << " trg_arity: " << sglex_trg_arity << std::endl;
assert(sglex_trg_rhs_size > 0);
cur_trg_rhs.resize(sglex_trg_rhs_size);
for (int i = 0; i < sglex_trg_rhs_size; ++i)