diff options
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/kit/kitHop.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/kit/kitHop.c b/src/bool/kit/kitHop.c index 11572e81..a159a05a 100644 --- a/src/bool/kit/kitHop.c +++ b/src/bool/kit/kitHop.c @@ -62,7 +62,7 @@ int Kit_GraphToGiaInternal( Gia_Man_t * pMan, Kit_Graph_t * pGraph, int fHash ) if ( fHash ) pNode->iFunc = Gia_ManHashAnd( pMan, pAnd0, pAnd1 ); else - pNode->iFunc = Gia_ManAppendAnd( pMan, pAnd0, pAnd1 ); + pNode->iFunc = Gia_ManAppendAnd2( pMan, pAnd0, pAnd1 ); } // complement the result if necessary return Abc_LitNotCond( pNode->iFunc, Kit_GraphIsComplement(pGraph) ); |