diff options
Diffstat (limited to 'src/misc/extra/extraBddSymm.c')
-rw-r--r-- | src/misc/extra/extraBddSymm.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddSymm.c b/src/misc/extra/extraBddSymm.c index e42130d4..0adcbd2a 100644 --- a/src/misc/extra/extraBddSymm.c +++ b/src/misc/extra/extraBddSymm.c @@ -21,6 +21,9 @@ #include "extra.h" +ABC_NAMESPACE_IMPL_START + + /*---------------------------------------------------------------------------*/ /* Constant declarations */ /*---------------------------------------------------------------------------*/ @@ -1467,3 +1470,5 @@ DdNode * extraZddSelectOneSubset( /*---------------------------------------------------------------------------*/ /* Definition of static Functions */ /*---------------------------------------------------------------------------*/ +ABC_NAMESPACE_IMPL_END + |