diff options
Diffstat (limited to 'src/misc/extra/extraBddImage.c')
-rw-r--r-- | src/misc/extra/extraBddImage.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddImage.c b/src/misc/extra/extraBddImage.c index 11d60a40..38c18f63 100644 --- a/src/misc/extra/extraBddImage.c +++ b/src/misc/extra/extraBddImage.c @@ -18,6 +18,9 @@ #include "extra.h" +ABC_NAMESPACE_IMPL_START + + /* The ideas implemented in this file are inspired by the paper: Pankaj Chauhan, Edmund Clarke, Somesh Jha, Jim Kukula, Tom Shiple, @@ -1155,3 +1158,5 @@ DdNode * Extra_bddImageRead2( Extra_ImageTree2_t * pTree ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |