diff options
Diffstat (limited to 'src/runtime/c/utils/pgf-parse.c')
| -rw-r--r-- | src/runtime/c/utils/pgf-parse.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/utils/pgf-parse.c b/src/runtime/c/utils/pgf-parse.c index 4e1444806..648295312 100644 --- a/src/runtime/c/utils/pgf-parse.c +++ b/src/runtime/c/utils/pgf-parse.c @@ -123,7 +123,7 @@ int main(int argc, char* argv[]) { } GuReader *rdr = gu_string_reader(gu_str_string(line, ppool), ppool); - PgfLexer *lexer = pgf_new_lexer(rdr, ppool); + PgfLexer *lexer = pgf_new_simple_lexer(rdr, ppool); GuEnum* result = pgf_parse(concr, cat, lexer, ppool); PgfExprProb* ep = NULL; |