Make the goalstack global just like the choicestack

1 files changed, 3 insertions, 2 deletions

diff --git a/dat.h b/dat.h
index 27ed5de..574cf4f 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 **, Binding **);
+typedef int (*Builtin)(Term *, Term *, Binding **);
 
 struct Term
 {
@@ -67,4 +67,5 @@ enum {
 int flagdoublequotes;
 
 /* Staate of the running system */
-Choicepoint *choicestack;
\ No newline at end of file
+Choicepoint *choicestack;
+Goal *goalstack;
\ No newline at end of file