From 6130e39b18b5f53902e4eab14f6d5cdde5219563 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 1 Nov 2010 01:35:04 -0700
Subject: initial commit of public abc

---
 src/bdd/cudd/cuddInit.c | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/bdd/cudd/cuddInit.c')

diff --git a/src/bdd/cudd/cuddInit.c b/src/bdd/cudd/cuddInit.c
index 20a88b11..43b2ac29 100644
--- a/src/bdd/cudd/cuddInit.c
+++ b/src/bdd/cudd/cuddInit.c
@@ -32,6 +32,9 @@
 #include    "util_hack.h"
 #define CUDD_MAIN
 #include    "cuddInt.h"
+
+ABC_NAMESPACE_IMPL_START
+
 #undef CUDD_MAIN
 
 /*---------------------------------------------------------------------------*/
@@ -105,7 +108,7 @@ Cudd_Init(
     DdNode *one, *zero;
     unsigned int maxCacheSize;
     unsigned int looseUpTo;
-    extern void (*MMoutOfMemory)(long);
+//    extern void (*MMoutOfMemory)(long);
     void (*saveHandler)(long);
 
     if (maxMemory == 0) {
@@ -171,6 +174,7 @@ Cudd_Init(
 
     unique->memused += sizeof(DdNode *) * unique->maxSize;
 
+    unique->bReached = NULL;
     return(unique);
 
 } /* end of Cudd_Init */
@@ -281,3 +285,5 @@ cuddZddFreeUniv(
 /* Definition of static functions                                            */
 /*---------------------------------------------------------------------------*/
 
+ABC_NAMESPACE_IMPL_END
+
-- 
cgit v1.2.3