From 3f26a0f2a1f699e628136ec5be6178b5ab40fc44 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Sat, 3 Jul 2021 21:16:58 +0000
Subject: Make the goalstack global just like the choicestack

---
 dat.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dat.h')

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