From 22d2458c93d4822be81d9ba1cb3cbe2c76782211 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Oct 2018 18:23:10 -0500 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/ast/ast.h | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/ast/ast.h b/src/ast/ast.h index efe452619..4054b32dc 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -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;