From c07cfc0e6971f8696a7ed553155885f64196fa4a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 29 Oct 2020 16:43:15 -0700 Subject: [PATCH] include path to thread and guard by SINGLE_THREAD Signed-off-by: Nikolaj Bjorner --- src/smt/smt_context_pp.cpp | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp index c82a995a6..2f0c93fcf 100644 --- a/src/smt/smt_context_pp.cpp +++ b/src/smt/smt_context_pp.cpp @@ -21,6 +21,9 @@ Revision History: #include "ast/ast_pp.h" #include "ast/ast_pp_util.h" #include "util/stats.h" +#ifndef SINGLE_THREAD +#include +#endif namespace smt { @@ -471,8 +474,12 @@ namespace smt { std::string context::mk_lemma_name() const { std::stringstream strm; +#ifndef SINGLE_THREAD std::thread::id this_id = std::this_thread::get_id(); strm << "lemma_" << this_id << "." << (++m_lemma_id) << ".smt2"; +#else + strm << "lemma_" << (++m_lemma_id) << ".smt2"; +#endif return strm.str(); }