diff options
Diffstat (limited to 'src/runtime/c/pgf/parser.h')
| -rw-r--r-- | src/runtime/c/pgf/parser.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/parser.h b/src/runtime/c/pgf/parser.h index 26cc61210..38ae9f1a4 100644 --- a/src/runtime/c/pgf/parser.h +++ b/src/runtime/c/pgf/parser.h @@ -49,7 +49,7 @@ pgf_parser_parse(PgfConcr* concr, PgfCId cat, size_t lin_idx, GuPool* pool); /// Feed a token to the parser PgfParse* -pgf_parse_token(PgfParse* parse, PgfToken tok, GuPool* pool); +pgf_parse_token(PgfParse* parse, PgfToken tok, bool robust, GuPool* pool); /**< * @param parse The current parse state * |