From ef7bc637478743456bfaa65c3d340101d5d7949b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 8 Feb 2013 19:22:43 -0800
Subject: [PATCH] Fix compilation error

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/ast/ast_smt_pp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/ast_smt_pp.cpp b/src/ast/ast_smt_pp.cpp
index 420961b4e..5bdc70dc2 100644
--- a/src/ast/ast_smt_pp.cpp
+++ b/src/ast/ast_smt_pp.cpp
@@ -537,7 +537,7 @@ class smt_printer {
     }
 
     void print_bound(symbol const& name) {
-        if (!is_smt2 && (name.is_numerical() || '?' != name.bare_str()[0])) {
+        if (!m_is_smt2 && (name.is_numerical() || '?' != name.bare_str()[0])) {
             m_out << "?";
         }
         m_out << name;