Fixing C++ compilation issues.

This commit is contained in:
Alan Mishchenko 2013-01-08 14:19:42 +08:00
parent a3b5a6ab4a
commit 19749cb8f8
1 changed files with 3 additions and 0 deletions

View File

@ -574,9 +574,12 @@ Aig_Man_t * Saig_ManIsoReduce( Aig_Man_t * pAig, Vec_Ptr_t ** pvPosEquivs, int f
return pPart;
}
ABC_NAMESPACE_IMPL_END
#include "base/abc/abc.h"
ABC_NAMESPACE_IMPL_START
/**Function*************************************************************
Synopsis []