diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 14:18:13 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 14:18:13 +0800 |
| commit | a3b5a6ab4a0a0f78f3151e5d5cb174213a324c65 (patch) | |
| tree | 5cc6313a831acf4ac55d8e4a8f241394546963ea /src/opt | |
| parent | 1b6662ce4a45dcbd50539877e4bd039bff65dcd5 (diff) | |
| download | abc-a3b5a6ab4a0a0f78f3151e5d5cb174213a324c65.tar.gz abc-a3b5a6ab4a0a0f78f3151e5d5cb174213a324c65.tar.bz2 abc-a3b5a6ab4a0a0f78f3151e5d5cb174213a324c65.zip | |
Fixing C++ compilation issues.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/nwk/nwkAig.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/opt/nwk/nwkAig.c b/src/opt/nwk/nwkAig.c index b70c71fc..2b0b71a0 100644 --- a/src/opt/nwk/nwkAig.c +++ b/src/opt/nwk/nwkAig.c @@ -104,9 +104,12 @@ Vec_Ptr_t * Nwk_ManDeriveRetimingCut( Aig_Man_t * p, int fForward, int fVerbose } +ABC_NAMESPACE_IMPL_END #include "proof/abs/abs.h" +ABC_NAMESPACE_IMPL_START + /**Function************************************************************* Synopsis [Collects reachable nodes.] |