From ed253df7500c3b7ed6716c9aa77e94e28ca90d9c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 8 Feb 2011 12:43:32 -0800
Subject: Additional change to enable runtime limit in CUDD in variable
 reordering.

---
 src/bdd/cudd/cuddInit.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/bdd/cudd/cuddInit.c b/src/bdd/cudd/cuddInit.c
index 6be35970..a970dd5b 100644
--- a/src/bdd/cudd/cuddInit.c
+++ b/src/bdd/cudd/cuddInit.c
@@ -176,6 +176,7 @@ Cudd_Init(
 
     unique->bFunc = NULL;
     unique->bFunc2 = NULL;
+    unique->TimeStop = 0;
     return(unique);
 
 } /* end of Cudd_Init */
-- 
cgit v1.2.3