diff --git a/src/test/sat_local_search.cpp b/src/test/sat_local_search.cpp
index ad982d024..46d96d637 100644
--- a/src/test/sat_local_search.cpp
+++ b/src/test/sat_local_search.cpp
@@ -47,9 +47,6 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea
         return false;
     }
 
-    for (unsigned i = 0; i < lits.size(); ++i) {
-        local_search.add_soft(lits[i].var(), coefficients[i]);
-    }
     
     // read the constraints, one at a time
     int k;