diff --git a/src/bdd/cudd/cuddInit.c b/src/bdd/cudd/cuddInit.c
index 6be35970e..a970dd5b1 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 */