From aeedb931f3f0a97ef37c5bf28f532b2b767826cc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 6 Nov 2015 10:20:21 -0800
Subject: [PATCH] fix build break

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context_pp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp
index 8eebe0531..ca4db0be2 100644
--- a/src/smt/smt_context_pp.cpp
+++ b/src/smt/smt_context_pp.cpp
@@ -205,7 +205,7 @@ namespace smt {
             for (; it != end; ++it) {
                 display_literal(out, *it);
                 out << ": ";
-                display_verbose(tout, m_manager, 1, &*it, m_bool_var2expr.c_ptr());
+                display_verbose(out, m_manager, 1, &*it, m_bool_var2expr.c_ptr());
                 out << "\n";
             }
         }