diff options
author | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-29 18:46:18 +0000 |
---|---|---|
committer | Peter Mikkelsen <peter@pmikkelsen.com> | 2021-06-29 18:46:18 +0000 |
commit | 9799fbd9e8c7fd186365c628bf2024d458dafc75 (patch) | |
tree | bc077b6dd46e3922dd1b7ac38631e7039d4cc9bf /dat.h | |
parent | a27a5c52f5efeac5165b4dddcb90f207853cc1f5 (diff) |
Understand :-initialization(Goal) directive
Diffstat (limited to 'dat.h')
-rw-r--r-- | dat.h | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -25,4 +25,5 @@ enum { NumberFloat, }; -int debug;
\ No newline at end of file +int debug; +Term *initgoals;
\ No newline at end of file |