From a3b5a6ab4a0a0f78f3151e5d5cb174213a324c65 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 8 Jan 2013 14:18:13 +0800 Subject: Fixing C++ compilation issues. --- src/opt/nwk/nwkAig.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/opt/nwk/nwkAig.c') 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.] -- cgit v1.2.3