mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
backward comp
This commit is contained in:
parent
e6e1d94cf9
commit
eda3c6258b
|
@ -45,7 +45,7 @@ struct ast_pp_dot_st {
|
|||
m_printed(),
|
||||
m_first(true) {}
|
||||
|
||||
~ast_pp_dot_st() = default;
|
||||
~ast_pp_dot_st() {};
|
||||
|
||||
void push_term(const expr * a) { m_to_print.push_back(a); }
|
||||
|
||||
|
|
Loading…
Reference in a new issue