diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 20:21:46 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-31 20:21:46 +0700 |
commit | 01924ca118cad9bc8bf84de0525e54f5c4a832ec (patch) | |
tree | 27bca3f3218ce7def6998a9db88bec6d57dc4222 /src/opt/dau/dauGia.c | |
parent | 54b4692d4bb2a6c5e59b5f54aaff95e2c4966e77 (diff) | |
download | abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.tar.gz abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.tar.bz2 abc-01924ca118cad9bc8bf84de0525e54f5c4a832ec.zip |
Updates to delay optimization project.
Diffstat (limited to 'src/opt/dau/dauGia.c')
-rw-r--r-- | src/opt/dau/dauGia.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index 68375039..8b0a76c3 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -249,7 +249,7 @@ int Dau_DsdBalance( Gia_Man_t * pGia, int * pFans, int nFans, int fAnd ) iFan = Abc_LitNotCond( iFan, fCompl ); } else - iFan = Gia_ManAppendXor( pGia, iFan0, iFan1 ); + iFan = Gia_ManAppendXor2( pGia, iFan0, iFan1 ); } else { |