From 2db22ffd1f48502a2b138b9b99ba2841a581313b Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 6 Jul 2010 20:19:34 +0000
Subject: [PATCH] Don't eagerly collect zombies.  This should speed up things
 for competition but might flush out some memory issues.  Passes all
 regressions so far..

---
 src/expr/node_manager.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index 4d796d81c..d01e22abd 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -191,7 +191,9 @@ class NodeManager {
 
     if(!d_inReclaimZombies) {// FIXME multithreading
       // for now, collect eagerly.  can add heuristic here later..
-      reclaimZombies();
+      if(d_zombies.size() > 5000) {
+        reclaimZombies();
+      }
     }
   }
 
-- 
2.30.2