diff options
Diffstat (limited to 'src/aig/int/intM114p.c')
| -rw-r--r-- | src/aig/int/intM114p.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/int/intM114p.c b/src/aig/int/intM114p.c index 77776f7e..6818fdce 100644 --- a/src/aig/int/intM114p.c +++ b/src/aig/int/intM114p.c @@ -108,7 +108,7 @@ M114p_Solver_t Inter_ManDeriveSatSolverM114p( } // connector clauses Aig_ManForEachPi( pFrames, pObj, i ) - { + { if ( i == Aig_ManRegNum(pAig) ) break; // Vec_IntPush( vVarsAB, pCnfFrames->pVarNums[pObj->Id] ); |