From e943bee625a71d41b7a991a6bc6d34bed4535853 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 4 Jan 2022 20:25:14 -0800 Subject: [PATCH] apply delcypher's todo Signed-off-by: Nikolaj Bjorner --- src/api/dotnet/CMakeLists.txt | 2 -- src/sat/smt/euf_model.cpp | 4 ++-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/api/dotnet/CMakeLists.txt b/src/api/dotnet/CMakeLists.txt index 98d4b9503..bab8ac982 100644 --- a/src/api/dotnet/CMakeLists.txt +++ b/src/api/dotnet/CMakeLists.txt @@ -18,8 +18,6 @@ add_custom_command(OUTPUT "${Z3_DOTNET_NATIVE_FILE}" ${Z3_FULL_PATH_API_HEADER_FILES_TO_SCAN} "${PROJECT_SOURCE_DIR}/scripts/update_api.py" ${Z3_GENERATED_FILE_EXTRA_DEPENDENCIES} - # FIXME: When update_api.py no longer uses ``mk_util`` drop this dependency - "${PROJECT_SOURCE_DIR}/scripts/mk_util.py" COMMENT "Generating ${Z3_DOTNET_NATIVE_FILE}" ${ADD_CUSTOM_COMMAND_USES_TERMINAL_ARG} ) diff --git a/src/sat/smt/euf_model.cpp b/src/sat/smt/euf_model.cpp index c0b9d9c85..3d0369287 100644 --- a/src/sat/smt/euf_model.cpp +++ b/src/sat/smt/euf_model.cpp @@ -35,7 +35,7 @@ namespace euf { s(s), m(s.m), mdl(mdl), values(values), factory(m) {} ~user_sort() { - for (auto kv : sort2values) + for (auto const& kv : sort2values) mdl->register_usort(kv.m_key, kv.m_value->size(), kv.m_value->data()); } @@ -258,7 +258,7 @@ namespace euf { if (n->is_root() && m_values.get(n->get_expr_id())) m_values2root.insert(m_values.get(n->get_expr_id()), n); TRACE("model", - for (auto kv : m_values2root) + for (auto const& kv : m_values2root) tout << mk_bounded_pp(kv.m_key, m) << "\n -> " << bpp(kv.m_value) << "\n";); return m_values2root;