From 416ffc117ab7d0ea2ec3b8aaeb4724f25031db7a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 27 Mar 2008 08:01:00 -0700 Subject: Version abc80327 --- src/base/io/ioWriteBench.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/io') diff --git a/src/base/io/ioWriteBench.c b/src/base/io/ioWriteBench.c index 4b766a47..df4a6259 100644 --- a/src/base/io/ioWriteBench.c +++ b/src/base/io/ioWriteBench.c @@ -258,7 +258,7 @@ int Io_WriteBenchLutOneNode( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vTruth nFanins = Abc_ObjFaninNum(pNode); assert( nFanins <= 8 ); // compute the truth table - pTruth = Abc_ConvertAigToTruth( pNode->pNtk->pManFunc, Hop_Regular(pNode->pData), nFanins, vTruth, 0 ); + pTruth = Hop_ManConvertAigToTruth( pNode->pNtk->pManFunc, Hop_Regular(pNode->pData), nFanins, vTruth, 0 ); if ( Hop_IsComplement(pNode->pData) ) Extra_TruthNot( pTruth, pTruth, nFanins ); // consider simple cases -- cgit v1.2.3