From d9a51f8f8add96c81d32ea42849a818b5fd7c8fa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 11 Feb 2019 14:44:12 -0800
Subject: [PATCH] fix test build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/test/sat_local_search.cpp | 3 ---
1 file changed, 3 deletions(-)
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;