diff options
Diffstat (limited to 'src/aig/kit/kitDsd.c')
-rw-r--r-- | src/aig/kit/kitDsd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/kit/kitDsd.c b/src/aig/kit/kitDsd.c index abd07e68..e24a9964 100644 --- a/src/aig/kit/kitDsd.c +++ b/src/aig/kit/kitDsd.c @@ -2058,7 +2058,7 @@ int Kit_DsdEval( unsigned * pTruth, int nVars, int nLutSize ) // recompute the truth table p = Kit_DsdManAlloc( nVars, Kit_DsdNtkObjNum(pNtk) ); pTruthC = Kit_DsdTruthCompute( p, pNtk ); - if ( !Extra_TruthIsEqual( pTruth, pTruthC, nVars ) ) + if ( !Kit_TruthIsEqual( pTruth, pTruthC, nVars ) ) printf( "Verification failed.\n" ); Kit_DsdManFree( p ); |