diff options
Diffstat (limited to 'src/bdd/cudd/cuddZddReord.c')
-rw-r--r-- | src/bdd/cudd/cuddZddReord.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/bdd/cudd/cuddZddReord.c b/src/bdd/cudd/cuddZddReord.c index 4c6e394b..1d73721c 100644 --- a/src/bdd/cudd/cuddZddReord.c +++ b/src/bdd/cudd/cuddZddReord.c @@ -49,6 +49,9 @@ #include "util_hack.h" #include "cuddInt.h" +ABC_NAMESPACE_IMPL_START + + /*---------------------------------------------------------------------------*/ /* Constant declarations */ /*---------------------------------------------------------------------------*/ @@ -1413,7 +1416,7 @@ zddReorderPostprocess( DdNodePtr *nodelist, *oldnodelist; DdNode *node, *next; unsigned int slots, oldslots; - extern void (*MMoutOfMemory)(long); +// extern void (*MMoutOfMemory)(long); void (*saveHandler)(long); #ifdef DD_VERBOSE @@ -1632,3 +1635,5 @@ zddFixTree( } /* end of zddFixTree */ +ABC_NAMESPACE_IMPL_END + |