From e43c0d87088c237dc89f0ac6b038ca24334e4f33 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 12 Nov 2011 23:44:38 -0800
Subject: [PATCH] Setting the number of completed time frames.

---
 src/aig/saig/saigGlaCba.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/aig/saig/saigGlaCba.c b/src/aig/saig/saigGlaCba.c
index eae9a3c26..a2c434c5f 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 )
     {