mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
719bc5cd5d
commit
22d2458c93
|
@ -2501,15 +2501,6 @@ public:
|
|||
void mark(ast * n, bool flag) { if (flag) mark(n); else reset_mark(n); }
|
||||
};
|
||||
|
||||
struct parameter_pp {
|
||||
parameter const& p;
|
||||
ast_manager& m;
|
||||
parameter_pp(parameter const& p, ast_manager& m): p(p), m(m) {}
|
||||
};
|
||||
|
||||
inline std::ostream& operator<<(std::ostream& out, parameter_pp const& pp) {
|
||||
return pp.m.display(out, pp.p);
|
||||
}
|
||||
|
||||
typedef ast_ref_fast_mark<1> ast_ref_fast_mark1;
|
||||
typedef ast_ref_fast_mark<2> ast_ref_fast_mark2;
|
||||
|
|
Loading…
Reference in a new issue