From a3f07ba9ab8f74969e3ce5ae51be47cdbc2841c2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 11 Jun 2026 22:47:32 -0700 Subject: [PATCH] Update atom2bool_var.cpp --- src/sat/smt/atom2bool_var.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/sat/smt/atom2bool_var.cpp b/src/sat/smt/atom2bool_var.cpp index b6760c943..4d074f772 100644 --- a/src/sat/smt/atom2bool_var.cpp +++ b/src/sat/smt/atom2bool_var.cpp @@ -1,4 +1,4 @@ -/*++ +add a smart constructor to seq_util to create the simplified range given two characters. It would create either the empty regex, the singleton string or a range expression./*++ Copyright (c) 2011 Microsoft Corporation Module Name: @@ -50,9 +50,9 @@ sat::bool_var atom2bool_var::to_bool_var(expr * n) const { } expr* atom2bool_var::bool_var2expr(sat::bool_var v) const { - for (auto const& kv : m_mapping) - if (kv.m_value == v) - return kv.m_key; + for (auto const& [key, val] : m_mapping) + if (val == v) + return key; return nullptr; }