From 9e20bfe7f9268eea5fec436e179a50868fb69162 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 28 Oct 2017 17:23:35 -0700 Subject: [PATCH] fix virtual method override Signed-off-by: Nikolaj Bjorner --- src/muz/spacer/spacer_itp_solver.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/muz/spacer/spacer_itp_solver.h b/src/muz/spacer/spacer_itp_solver.h index cab19c8ef..8194379b8 100644 --- a/src/muz/spacer/spacer_itp_solver.h +++ b/src/muz/spacer/spacer_itp_solver.h @@ -134,8 +134,8 @@ public: {return m_solver.get_num_assumptions();} virtual expr * get_assumption(unsigned idx) const {return m_solver.get_assumption(idx);} - virtual std::ostream &display(std::ostream &out) const - { return m_solver.display(out); } + virtual std::ostream &display(std::ostream &out, unsigned n, expr* const* es) const + { return m_solver.display(out, n, es); } /* check_sat_result interface */