diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/saig/saigGlaCba.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c index eae9a3c2..a2c434c5 100644 --- a/src/aig/saig/saigGlaCba.c +++ b/src/aig/saig/saigGlaCba.c @@ -812,7 +812,7 @@ Vec_Int_t * Aig_Gla1ManPerform( Aig_Man_t * pAig, Vec_Int_t * vGateClassesOld, i printf( "The problem is SAT in frame %d. The CEX is currently not produced.\n", f ); else printf( "Ran out of conflict limit (%d) at frame %d.\n", nConfLimit, f ); - *piFrame = i; + *piFrame = f; // print stats if ( fVerbose ) { |