From f08be2742e892b7b81f234785cbbae85c61ab024 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 27 Oct 2011 23:34:11 -0700 Subject: C++ portability changes. --- src/base/io/io.c | 2 +- src/base/io/ioWriteBlif.c | 5 +---- 2 files changed, 2 insertions(+), 5 deletions(-) (limited to 'src/base/io') diff --git a/src/base/io/io.c b/src/base/io/io.c index 60085168..d205d4cf 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1597,7 +1597,7 @@ int IoCommandWriteBlif( Abc_Frame_t * pAbc, int argc, char **argv ) } pLutStruct = argv[globalUtilOptind]; globalUtilOptind++; - if ( !strlen(pLutStruct) == 2 && !strlen(pLutStruct) == 3 ) + if ( strlen(pLutStruct) != 2 && strlen(pLutStruct) != 3 ) { Abc_Print( -1, "Command line switch \"-S\" should be followed by a 2- or 3-char string (e.g. \"44\" or \"555\").\n" ); goto usage; diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 5370cd85..bb148bab 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -22,6 +22,7 @@ #include "main.h" #include "mio.h" #include "kit.h" +#include "if.h" ABC_NAMESPACE_IMPL_START @@ -882,10 +883,6 @@ void Io_NtkWriteNodeIntStruct( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCov else { extern int If_CluMinimumBase( word * t, int * pSupp, int nVarsAll, int * pnVars ); - extern int If_CluCheckExt( void * p, word * pTruth, int nVars, int nLutLeaf, int nLutRoot, - char * pLut0, char * pLut1, word * pFunc0, word * pFunc1 ); - extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int nLutLeaf, int nLutLeaf2, int nLutRoot, - char * pLut0, char * pLut1, char * pLut2, word * pFunc0, word * pFunc1, word * pFunc2 ); static word TruthStore[16][1<<10] = {{0}}, * pTruths[16]; word pCube[1<<10], pRes[1<<10], Func0, Func1, Func2; -- cgit v1.2.3