From af5bbb45661d03c8b0055925d6a9b547ff8e5e6f Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Fri, 12 Jun 2026 06:37:48 +0000
Subject: [PATCH] Restore atom2bool_var.cpp to fix CI build break

---
 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 4d074f772..b6760c943 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& [key, val] : m_mapping)
-        if (val == v)
-            return key;
+    for (auto const& kv : m_mapping)
+        if (kv.m_value == v)
+            return kv.m_key;
     return nullptr;
 }