From 4b71bfc95d67d263095132ac099357817722b8ad Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 20 Mar 2018 19:19:42 -0700 Subject: [PATCH] mac build Signed-off-by: Nikolaj Bjorner --- src/sat/ba_solver.cpp | 1 + src/test/sat_local_search.cpp | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/src/sat/ba_solver.cpp b/src/sat/ba_solver.cpp index ebc198e61..0ead8bb40 100644 --- a/src/sat/ba_solver.cpp +++ b/src/sat/ba_solver.cpp @@ -17,6 +17,7 @@ Revision History: --*/ +#include #include "sat/ba_solver.h" #include "sat/sat_types.h" #include "util/mpz.h" diff --git a/src/test/sat_local_search.cpp b/src/test/sat_local_search.cpp index c9e3a18ec..3e137c0b7 100644 --- a/src/test/sat_local_search.cpp +++ b/src/test/sat_local_search.cpp @@ -18,7 +18,11 @@ static bool build_instance(char const * filename, sat::solver& s, sat::local_sea } infile.getline(line, 16383); int num_vars, num_constraints; +#ifdef _WINDOWS sscanf_s(line, "%d %d", &num_vars, &num_constraints); +#else + return false; +#endif //std::cout << "number of variables: " << num_vars << '\n'; //std::cout << "number of constraints: " << num_constraints << '\n';