From a189ca8b60eb06705fb5e1458ebdaa82be5ec98b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 31 Jan 2022 10:50:46 -0800 Subject: [PATCH] truncation directive #5805 --- src/api/api_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp index 8e8360cd3..43211b3b8 100644 --- a/src/api/api_solver.cpp +++ b/src/api/api_solver.cpp @@ -114,7 +114,7 @@ extern "C" { } solver2smt2_pp::solver2smt2_pp(ast_manager& m, const std::string& file): - m_pp_util(m), m_out(file), m_tracked(m) { + m_pp_util(m), m_out(file, std::ofstream::trunc | std::ofstream::out), m_tracked(m) { if (!m_out) { throw default_exception("could not open " + file + " for output"); }