1 files changed, 0 insertions, 4 deletions
diff --git a/garbage.c b/garbage.c
index 212c171..4e5d041 100644
--- a/garbage.c
+++ b/garbage.c
@@ -66,14 +66,10 @@ 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++){