fix test build

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

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;