From ad6e128cab49b39211d6bce97b3a3c7a13c5492a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 7 May 2018 17:04:02 +0100 Subject: [PATCH] fix if-def Signed-off-by: Nikolaj Bjorner --- src/test/sat_local_search.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/sat_local_search.cpp b/src/test/sat_local_search.cpp index 25fa59c95..4828046be 100644 --- a/src/test/sat_local_search.cpp +++ b/src/test/sat_local_search.cpp @@ -20,8 +20,6 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea #ifdef _WINDOWS int num_vars = 0, num_constraints = 0; sscanf_s(line, "%d %d", &num_vars, &num_constraints); -#else - return false; //std::cout << "number of variables: " << num_vars << '\n'; //std::cout << "number of constraints: " << num_constraints << '\n'; @@ -69,6 +67,8 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea infile.close(); return true; +#else + return false; #endif }