From ff154a09b3fdcf649753c505ddb903a9877acfd4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Apr 2014 12:12:51 -0700
Subject: [PATCH] sls

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/opt_sls_solver.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/opt/opt_sls_solver.h b/src/opt/opt_sls_solver.h
index 60a95b215..0873b4f01 100644
--- a/src/opt/opt_sls_solver.h
+++ b/src/opt/opt_sls_solver.h
@@ -55,10 +55,7 @@ namespace opt {
             // TBD: m_sls.get_stats();
         }
         virtual void assert_expr(expr * t) {
-            expr_ref tmp(m);
             m_solver->assert_expr(t);
-            m_pb2bv(t, tmp);
-            m_sls.assert_expr(tmp);
         }
         virtual void get_unsat_core(ptr_vector<expr> & r) {
             m_solver->get_unsat_core(r);