diff options
Diffstat (limited to 'src/aig/kit/kitHop.c')
| -rw-r--r-- | src/aig/kit/kitHop.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/kit/kitHop.c b/src/aig/kit/kitHop.c index 86ec5a88..044633bc 100644 --- a/src/aig/kit/kitHop.c +++ b/src/aig/kit/kitHop.c @@ -130,6 +130,7 @@ Hop_Obj_t * Kit_CoverToHop( Hop_Man_t * pMan, Vec_Int_t * vCover, int nVars, Vec Kit_Graph_t * pGraph; Hop_Obj_t * pFunc; // perform factoring + Vec_IntClear( vMemory ); pGraph = Kit_SopFactor( vCover, 0, nVars, vMemory ); // convert graph to the AIG pFunc = Kit_GraphToHop( pMan, pGraph ); |