public:
apply_map_function(const ex & a) : apply(a) {}
virtual ~apply_map_function() {}
- ex operator()(const ex & e) { return apply.subs(wild() == e, true); }
+ ex operator()(const ex & e) override { return apply.subs(wild() == e, true); }
};
static ex f_map(const exprseq &e)