From 23d36a8d5665d7a586777c9723c4aa803b253fc1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 16 Aug 2017 14:20:52 +0700
Subject: Integrating Satoko into 'bmc' and 'bmc2'.

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

(limited to 'src/aig/saig')

diff --git a/src/aig/saig/saigTempor.c b/src/aig/saig/saigTempor.c
index d800537d..3ba22bec 100644
--- a/src/aig/saig/saigTempor.c
+++ b/src/aig/saig/saigTempor.c
@@ -223,7 +223,7 @@ Aig_Man_t * Saig_ManTempor( Aig_Man_t * pAig, int nFrames, int TimeOut, int nCon
     // run BMC2
     if ( fUseBmc )
     {
-        RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished, 0 );
+        RetValue = Saig_BmcPerform( pAig, 0, nFrames, 2000, TimeOut, nConfLimit, 0, fVerbose, 0, &nFramesFinished, 0, 0 );
         if ( RetValue == 0 )
         {
             Vec_IntFreeP( &vTransSigs );
-- 
cgit v1.2.3