diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-10 13:56:40 -0800 |
commit | 2575a5d6836c5bd8160b8e965c622e358b2dc742 (patch) | |
tree | 92eaa25ce4be9b47651e043e93fe55c7ea99b342 /src/aig/gia/giaHcd.c | |
parent | f7b7ab59cf842053cc2819c9a569839dc970ed85 (diff) | |
download | abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.gz abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.tar.bz2 abc-2575a5d6836c5bd8160b8e965c622e358b2dc742.zip |
Unifification of custom extensions.
Diffstat (limited to 'src/aig/gia/giaHcd.c')
-rw-r--r-- | src/aig/gia/giaHcd.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaHcd.c b/src/aig/gia/giaHcd.c index 6bf86523..11f81e0a 100644 --- a/src/aig/gia/giaHcd.c +++ b/src/aig/gia/giaHcd.c @@ -626,7 +626,7 @@ Aig_Man_t * Hcd_ComputeChoices( Aig_Man_t * pAig, int nBTLimit, int fSynthesis, Vec_PtrForEachEntry( Gia_Man_t *, vGias, pGia, i ) Gia_ManStop( pGia ); - Gia_WriteAiger( pMiter, "m3.aig", 0, 0 ); + Gia_AigerWrite( pMiter, "m3.aig", 0, 0 ); } else { |