diff options
| author | krasimir <krasimir@chalmers.se> | 2015-05-07 14:49:30 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-05-07 14:49:30 +0000 |
| commit | 7e43e5727a8bd19d2e6389cfce712cd738ab266b (patch) | |
| tree | dd43f317fd3e722c8c0122bdb26219c4587c1fa5 /src/runtime/c | |
| parent | 01c4836d4d2560347786175e8a4af5baa1bd23e2 (diff) | |
fix pgf-translate to use the NERC again
Diffstat (limited to 'src/runtime/c')
| -rw-r--r-- | src/runtime/c/utils/pgf-translate.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/c/utils/pgf-translate.c b/src/runtime/c/utils/pgf-translate.c index 065853215..b99a8f3fd 100644 --- a/src/runtime/c/utils/pgf-translate.c +++ b/src/runtime/c/utils/pgf-translate.c @@ -155,7 +155,9 @@ int main(int argc, char* argv[]) { GuExn* parse_err = gu_new_exn(ppool); result = - pgf_parse(from_concr, cat, line, parse_err, ppool, ppool); + pgf_parse_with_heuristics(from_concr, cat, line, + -1, callbacks, + parse_err, ppool, ppool); if (!gu_ok(parse_err)) { if (gu_exn_caught(parse_err, PgfExn)) { GuString msg = gu_exn_caught_data(parse_err); |