wasm build issue

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Nov 19, 2021 · a7d2478 · a7d2478
1 parent 741c5f4
commit a7d2478
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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) {