diff options
Diffstat (limited to 'src/aig/gia/giaCCof.c')
| -rw-r--r-- | src/aig/gia/giaCCof.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCCof.c b/src/aig/gia/giaCCof.c index 71a6547d..19cdf9e6 100644 --- a/src/aig/gia/giaCCof.c +++ b/src/aig/gia/giaCCof.c @@ -128,7 +128,7 @@ void Gia_ManCofExtendSolver( Ccf_Man_t * p ) Gia_ObjFaninId0(pObj, i), Gia_ObjFaninId1(pObj, i), Gia_ObjFaninC0(pObj), - Gia_ObjFaninC1(pObj) ); + Gia_ObjFaninC1(pObj), 0 ); } sat_solver_setnvars( p->pSat, Gia_ManObjNum(p->pFrames) ); } |