From a7d24788c398614c54ed200f97b1b0f24c6267b7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 19 Nov 2021 20:45:36 +0100 Subject: [PATCH] wasm build issue Signed-off-by: Nikolaj Bjorner --- src/api/api_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp index 207bf030a65..42c364cd655 100644 --- a/src/api/api_solver.cpp +++ b/src/api/api_solver.cpp @@ -158,10 +158,10 @@ extern "C" { init_solver_core(c, s); } - static std::thread::id g_thread_id = std::this_thread::get_id(); - static bool g_is_threaded = false; static void init_solver_log(Z3_context c, Z3_solver s) { + static std::thread::id g_thread_id = std::this_thread::get_id(); + static bool g_is_threaded = false; solver_params sp(to_solver(s)->m_params); symbol smt2log = sp.smtlib2_log(); if (smt2log.is_non_empty_string() && !to_solver(s)->m_pp) {