diff options
Diffstat (limited to 'src/opt/nwk')
| -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.] |