1 files changed, 3 insertions, 1 deletions

diff --git a/dat.h b/dat.h
index 9dac8d0..27ed5de 100644
--- a/dat.h
+++ b/dat.h
@@ -2,7 +2,7 @@ typedef struct Term Term;
 typedef struct Binding Binding;
 typedef struct Goal Goal;
 typedef struct Choicepoint Choicepoint;
-typedef int (*Builtin)(Term *, Term *, Goal **, Choicepoint **, Binding **);
+typedef int (*Builtin)(Term *, Term *, Goal **, Binding **);
 
 struct Term
 {
@@ -66,3 +66,5 @@ enum {
 
 int flagdoublequotes;
 
+/* Staate of the running system */
+Choicepoint *choicestack;
\ No newline at end of file