summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-29 18:46:18 +0000
commit9799fbd9e8c7fd186365c628bf2024d458dafc75 (patch)
treebc077b6dd46e3922dd1b7ac38631e7039d4cc9bf /dat.h
parenta27a5c52f5efeac5165b4dddcb90f207853cc1f5 (diff)
Understand :-initialization(Goal) directive
Diffstat (limited to 'dat.h')
-rw-r--r--dat.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/dat.h b/dat.h
index 7c7c0a9..d13ee00 100644
--- a/dat.h
+++ b/dat.h
@@ -25,4 +25,5 @@ enum {
NumberFloat,
};
-int debug; \ No newline at end of file
+int debug;
+Term *initgoals; \ No newline at end of file