diff options
Diffstat (limited to 'src/generic/problemresolver/incremental_expression.h')
| -rw-r--r-- | src/generic/problemresolver/incremental_expression.h | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/generic/problemresolver/incremental_expression.h b/src/generic/problemresolver/incremental_expression.h index 20de48fe..8d7bd1bb 100644 --- a/src/generic/problemresolver/incremental_expression.h +++ b/src/generic/problemresolver/incremental_expression.h @@ -406,7 +406,7 @@ public: virtual std::string get_name() = 0; - virtual void dump(std::ostream &out) + void dump(std::ostream &out) { out << get_name() << "("; for(typename std::vector<cwidget::util::ref_ptr<expression<T> > >::const_iterator @@ -576,7 +576,6 @@ public: bool get_value(); std::string get_name(); - void dump(std::ostream &out); }; class or_e : public counting_bool_e @@ -608,7 +607,6 @@ public: bool get_value(); std::string get_name(); - void dump(std::ostream &out); }; class not_e : public expression_box<bool> |