mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable

Browse source
This commit is contained in:
Nikolaj Bjorner 2013-02-09 10:58:44 -08:00
commit 51314db23b
2 changed files with 111 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/ast/ast_smt_pp.cpp
View file

@ -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;