From fbfcc6796aa097a9c4d31553ebca09eb0233c7aa Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 12 Jun 2020 13:53:50 -0700
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/lp_bound_propagator.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index e28410b06..bbc701817 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -487,8 +487,8 @@ public:
     std::ostream& print_tree(std::ostream & out, vertex* v) const {
         v->print(out);
         out << "children :\n";
-        for (auto * v : v->children()) {
-            print_tree(out, v);
+        for (auto * c : v->children()) {
+            print_tree(out, c);
         }
         return out;
     }