From bef084bd9bd09026ae03c787444e1cdbded89313 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 11 Feb 2011 13:57:57 -0800
Subject: Bug fix in setting the number of finished frames when reading a
 status file.

---
 src/base/abci/abcLog.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/base/abci/abcLog.c b/src/base/abci/abcLog.c
index 615584a1..071d7943 100644
--- a/src/base/abci/abcLog.c
+++ b/src/base/abci/abcLog.c
@@ -85,7 +85,7 @@ void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pCex, int Status, int nF
         printf( "Abc_NtkWriteLogFile(): Cannot recognize solving status.\n" );
     fprintf( pFile, " " );
     // write <cyc>
-    fprintf( pFile, "%d", pCex ? pCex->iFrame + 1 : nFrames );
+    fprintf( pFile, "%d", pCex ? pCex->iFrame : nFrames );
     fprintf( pFile, " " );
     // write <engine_name>
     fprintf( pFile, "%s", pCommand ? pCommand : "unknown" );
-- 
cgit v1.2.3