diff options
| author | krasimir <krasimir@chalmers.se> | 2015-07-04 15:06:34 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-07-04 15:06:34 +0000 |
| commit | 192b1cc01897906f67e15a0046897eb5fecbe002 (patch) | |
| tree | 8eb75e259ac1e4e2d426078bf41db73ff9556837 /src/runtime/c/pgf/data.h | |
| parent | b3680b60258372baa1d5e606026760ef223641b9 (diff) | |
the reasoner's states are now closures just like the code for the def rules. This means more compact JIT compiled code and uniformity with the code for def rules
Diffstat (limited to 'src/runtime/c/pgf/data.h')
| -rw-r--r-- | src/runtime/c/pgf/data.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/pgf/data.h b/src/runtime/c/pgf/data.h index c2efed4e3..5b1842d74 100644 --- a/src/runtime/c/pgf/data.h +++ b/src/runtime/c/pgf/data.h @@ -82,7 +82,7 @@ typedef struct { int arity; PgfEquations* defns; // maybe null PgfExprProb ep; - void* predicate; + PgfFunction predicate; struct { PgfFunction code; union { |