From 11f1a249ae9dc3fab0a24eab02ee605fd58c2471 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 1 May 2016 17:43:50 -0700 Subject: Updating GIG parser. --- src/bool/kit/kitHop.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/bool') 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) ); -- cgit v1.2.3