From b3680b60258372baa1d5e606026760ef223641b9 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 3 Jul 2015 11:53:52 +0000
Subject: merge the states for reasoning and evaluation into a single structure

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

(limited to 'src/runtime/c/pgf/reader.c')

diff --git a/src/runtime/c/pgf/reader.c b/src/runtime/c/pgf/reader.c
index f8b4d198e..cb690a353 100644
--- a/src/runtime/c/pgf/reader.c
+++ b/src/runtime/c/pgf/reader.c
@@ -1,6 +1,6 @@
 #include "data.h"
 #include "expr.h"
-#include "evaluator.h"
+#include "reasoner.h"
 #include "reader.h"
 
 #include <gu/defs.h>
-- 
cgit v1.2.3