3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00

fix build break

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2015-11-06 10:20:21 -08:00
parent fc592fc856
commit aeedb931f3

View file

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