diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-01 17:43:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-01 17:43:50 -0700 |
| commit | 11f1a249ae9dc3fab0a24eab02ee605fd58c2471 (patch) | |
| tree | b9ee5c5742af0a156e1bbabdb43713a34909e4d0 /src/bool/kit | |
| parent | a093091004aa5ec46f14b824b97a1a4fc5328ae2 (diff) | |
| download | abc-11f1a249ae9dc3fab0a24eab02ee605fd58c2471.tar.gz abc-11f1a249ae9dc3fab0a24eab02ee605fd58c2471.tar.bz2 abc-11f1a249ae9dc3fab0a24eab02ee605fd58c2471.zip | |
Updating GIG parser.
Diffstat (limited to 'src/bool/kit')
| -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) ); |