diff options
Diffstat (limited to 'src/bdd/cudd/cuddMatMult.c')
| -rw-r--r-- | src/bdd/cudd/cuddMatMult.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/bdd/cudd/cuddMatMult.c b/src/bdd/cudd/cuddMatMult.c index 75e5a732..b4ec5c6a 100644 --- a/src/bdd/cudd/cuddMatMult.c +++ b/src/bdd/cudd/cuddMatMult.c @@ -32,6 +32,9 @@ #include "util_hack.h" #include "cuddInt.h" +ABC_NAMESPACE_IMPL_START + + /*---------------------------------------------------------------------------*/ /* Constant declarations */ @@ -678,3 +681,5 @@ cuddAddOuterSumRecur( return(R); } /* end of cuddAddOuterSumRecur */ +ABC_NAMESPACE_IMPL_END + |