From d07d57c240ec212b9d29e278647ea1240c0c3cc4 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 13 Mar 2024 09:42:08 +0100 Subject: [PATCH] remove leftovers from earlier commit --- src/sat/smt/intblast_solver.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/sat/smt/intblast_solver.cpp b/src/sat/smt/intblast_solver.cpp index 1f151c4fe..df83a6a9f 100644 --- a/src/sat/smt/intblast_solver.cpp +++ b/src/sat/smt/intblast_solver.cpp @@ -235,12 +235,6 @@ namespace intblast { } #if 0 - namespace fs = std::filesystem; - static unsigned num_check = 0; - fs::path filename = std::string("validation/int-") + std::to_string(++num_check) + ".smt2"; - fs::create_directories(filename.parent_path()); - IF_VERBOSE(1, verbose_stream() << "validation check written to file " << filename << "\n"); - std::ofstream file(filename); std::string name_esc; if (name) { name_esc = name;