From 3b838b953d36c6293af51ddae55ec061e994b4c7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 18 Sep 2015 08:10:18 -0700
Subject: Tuning SAT solver for QBF instances.

---
 src/proof/fra/fraCec.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof/fra/fraCec.c')

diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c
index fe113367..130036a6 100644
--- a/src/proof/fra/fraCec.c
+++ b/src/proof/fra/fraCec.c
@@ -194,7 +194,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi
         }
 
         if ( nLearnedStart )
-            pSat->nLearntStart = nLearnedStart;
+            pSat->nLearntStart = pSat->nLearntMax = nLearnedStart;
         if ( nLearnedDelta )
             pSat->nLearntDelta = nLearnedDelta;
         if ( nLearnedPerce )
-- 
cgit v1.2.3