1 files changed, 7 insertions, 0 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c
index 631051e0..45d23548 100644
--- a/src/sat/bsat/satSolver2.c
+++ b/src/sat/bsat/satSolver2.c
@@ -1574,8 +1574,15 @@ void sat_solver2_rollback( sat_solver2* s )
     for ( i = 2*s->iVarPivot; i < 2*s->size; i++ )
         s->wlists[i].size = 0;
     // clear variable activity
+#ifdef USE_FLOAT_ACTIVITY2
+    for ( i = s->iVarPivot; i < s->size; i++ )
+        s->activity[i] = 0;
+#else
     for ( i = s->iVarPivot; i < s->size; i++ )
         s->activity[i] = (1<<10);
+#endif
+
+    
 
     // initialize other vars
     s->size = s->iVarPivot;