reuse PgfParser::before instead of the new PgfParser::fetch_state

2022-10-03 11:51:34 +02:00
parent c15b5271a9
commit 0bc7e8ea2e
2 changed files with 17 additions and 19 deletions
--- a/src/runtime/c/pgf/parser.h
+++ b/src/runtime/c/pgf/parser.h
@@ -50,7 +50,7 @@ private:

    size_t last_choice_id;

-    State *before, *after, *fetch_state;
+    State *before, *after;

    PgfMarshaller *m;
 };