From 71fdb597475d5178ac3a6ec8309cf2cc6b659bce Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 28 Mar 2014 12:27:06 +0000
Subject: [PATCH] removed dependency of bvsls on goal_refs

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/tactic/sls/sls_tracker.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h
index c49257692..cf1ad9ea3 100644
--- a/src/tactic/sls/sls_tracker.h
+++ b/src/tactic/sls/sls_tracker.h
@@ -276,13 +276,13 @@ public:
     }
 #endif
 
-    void uct_forget(goal_ref const & g) {
+    void uct_forget(ptr_vector<expr> & as) {
         expr * e;
         unsigned touched_old, touched_new;
 
-        for (unsigned i = 0; i < g->size(); i++)
+        for (unsigned i = 0; i < as.size(); i++)
         {
-            e = g->form(i);
+            e = as[i];
             touched_old = m_scores.find(e).touched;
             touched_new = (unsigned)((touched_old - 1) * _UCT_FORGET_FACTOR_ + 1);
             m_scores.find(e).touched = touched_new;