summaryrefslogtreecommitdiff
path: root/garbage.c
diff options
context:
space:
mode:
Diffstat (limited to 'garbage.c')
-rw-r--r--garbage.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/garbage.c b/garbage.c
index 714520c..d2138d9 100644
--- a/garbage.c
+++ b/garbage.c
@@ -65,10 +65,14 @@ collectgarbage(void)
1) The modules
2) The goalstack
3) The choicestack
+ 4) The replbindings
+ 5) The replquery
*/
markmodules();
markgoalstack(goalstack);
markchoicestack();
+ markbindings(replbindings);
+ markterm(replquery);
/* Free the allocations that were not marked as reachable */
for(i = 0; i < TableSize; i++){