na

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Dec 7, 2021 · 60d5a00 · 60d5a00
1 parent 04906bd
commit 60d5a00
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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;
               });
     }