From 192b1cc01897906f67e15a0046897eb5fecbe002 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 4 Jul 2015 15:06:34 +0000
Subject: 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

---
 src/runtime/c/pgf/data.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/runtime/c/pgf/data.h')

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 {
-- 
cgit v1.2.3