From 8a24c21b599d8622704ace69bdd21c0594ad90cb Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Tue, 2 Jun 2009 08:48:47 -0700 Subject: Fix enough compile errors that the problem resolver subdirectory compiles. The rest of the code still needs to be overhauled to take the changes into account, and it looks like there are bugs in code that's only instantiated from the client (e.g., reject_version()). --- src/generic/problemresolver/incremental_expression.h | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/generic/problemresolver/incremental_expression.h') 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 > >::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 -- cgit v1.2.3