From e258fcb2cd0cb0bca2bb077b2e5954b7be02b1c3 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 26 Mar 2008 08:01:00 -0700
Subject: Version abc80326

---
 src/misc/extra/extraBddMisc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc')

diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c
index a3320ad3..e4790325 100644
--- a/src/misc/extra/extraBddMisc.c
+++ b/src/misc/extra/extraBddMisc.c
@@ -220,7 +220,7 @@ void Extra_StopManager( DdManager * dd )
     int RetValue;
     // check for remaining references in the package
     RetValue = Cudd_CheckZeroRef( dd );
-    if ( RetValue > 0 )
+    if ( RetValue > 10 )
         printf( "\nThe number of referenced nodes = %d\n\n", RetValue );
 //  Cudd_PrintInfo( dd, stdout );
     Cudd_Quit( dd );
-- 
cgit v1.2.3