From 60d5a004cebe112ce711a2055c800c9d4621258f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Dec 2021 14:25:07 -0800
Subject: [PATCH] na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/tactic/core/reduce_args_tactic.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/tactic/core/reduce_args_tactic.cpp b/src/tactic/core/reduce_args_tactic.cpp
index e08593922..436ee3272 100644
--- a/src/tactic/core/reduce_args_tactic.cpp
+++ b/src/tactic/core/reduce_args_tactic.cpp
@@ -263,8 +263,8 @@ struct reduce_args_tactic::imp {
TRACE("reduce_args", tout << "decl2args:" << std::endl;
for (auto const& [k, v] : decl2args) {
tout << k->get_name() << ": ";
- for (auto b : v)
- tout << (b ? "1" : "0");
+ for (unsigned i = 0; i < v.size(); ++i)
+ tout << (v.get(i) ? "1" : "0");
tout << std::endl;
});
}