summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaFalse.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia/giaFalse.c')
-rw-r--r--src/aig/gia/giaFalse.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaFalse.c b/src/aig/gia/giaFalse.c
index c7a5a638..c918559f 100644
--- a/src/aig/gia/giaFalse.c
+++ b/src/aig/gia/giaFalse.c
@@ -180,10 +180,10 @@ void Gia_ManCheckFalseOne( Gia_Man_t * p, int iOut, int nTimeOut, Vec_Wec_t * vH
continue;
sat_solver_add_and( pSat, pObj->Value + Shift[0],
Gia_ObjFanin0(pObj)->Value + Shift[0], Gia_ObjFanin1(pObj)->Value + Shift[0],
- Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj) );
+ Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 );
sat_solver_add_and( pSat, pObj->Value + Shift[1],
Gia_ObjFanin0(pObj)->Value + Shift[1], Gia_ObjFanin1(pObj)->Value + Shift[1],
- Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj) );
+ Gia_ObjFaninC0(pObj), Gia_ObjFaninC1(pObj), 0 );
}
// call the SAT solver
status = sat_solver_solve( pSat, Vec_IntArray(vLits), Vec_IntArray(vLits) + Vec_IntSize(vLits), (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0 );