diff options
| author | krasimir <krasimir@chalmers.se> | 2015-09-11 09:26:17 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-09-11 09:26:17 +0000 |
| commit | ef888baec84264bd94284fec13c7a076dcb8a84c (patch) | |
| tree | 6ee38ff39a9416feae09b05c29f7d69208e174eb /src/runtime/c/pgf/reasoner.h | |
| parent | e5ec343f4fe4d92a905687c27568bd3379b3ac88 (diff) | |
fix the debug mode in the tree generator in the C runtime
Diffstat (limited to 'src/runtime/c/pgf/reasoner.h')
| -rw-r--r-- | src/runtime/c/pgf/reasoner.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/runtime/c/pgf/reasoner.h b/src/runtime/c/pgf/reasoner.h index 714b31b4a..7826ef2a3 100644 --- a/src/runtime/c/pgf/reasoner.h +++ b/src/runtime/c/pgf/reasoner.h @@ -29,6 +29,7 @@ struct PgfReasoner { PgfAbswersMap* table; GuBuf* pqueue; GuBuf* exprs; + PgfClosure* start; PgfEvalGates* eval_gates; // cached from pgf->abstr->eval_gates GuExn* err; void* enter_stack_ptr; |