diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-21 23:52:05 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-05-21 23:52:05 +0700 |
commit | 034fc5a14dcbc2e195743a2fb8a640d9a6448ff5 (patch) | |
tree | 46f20a87602860c767b0465b0dccaf572a13ca1c /src/map | |
parent | 77b83074e0caf86f5bab8fbf1d26c3d8f2dbb36a (diff) | |
download | abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.tar.gz abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.tar.bz2 abc-034fc5a14dcbc2e195743a2fb8a640d9a6448ff5.zip |
Misc changes.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/if/ifDec16.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index cedf4f06..d189da89 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -2054,7 +2054,8 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave if ( If_CutTruthMinimize( p, pCut ) >= 2 ) return 0; nLeaves = pCut->nLeaves; - If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars ); +// If_CluCopy( (word *)pTruth, (word *)If_CutTruth(pCut), nVars ); + pTruth = If_CutTruth(pCut); } // quit if parameters are wrong |