mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

fix virtual method override

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-10-28 17:23:35 -07:00
parent 2227db215e
commit 9e20bfe7f9
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/muz/spacer/spacer_itp_solver.h
View file

@ -134,8 +134,8 @@ public:
{return m_solver.get_num_assumptions();} {return m_solver.get_num_assumptions();}
virtual expr * get_assumption(unsigned idx) const virtual expr * get_assumption(unsigned idx) const
{return m_solver.get_assumption(idx);} {return m_solver.get_assumption(idx);}
virtual std::ostream &display(std::ostream &out) const virtual std::ostream &display(std::ostream &out, unsigned n, expr* const* es) const
{ return m_solver.display(out); } { return m_solver.display(out, n, es); }
/* check_sat_result interface */ /* check_sat_result interface */