diff options
Diffstat (limited to 'garbage.c')
-rw-r--r-- | garbage.c | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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++){ |