From 70309b9b1a48d856da03cbc93b08b622f99535a2 Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Tue, 26 May 2009 07:49:09 -0700 Subject: Use the new box_expression to implement not_e. --- src/generic/problemresolver/incremental_expression.h | 7 ++----- 1 file changed, 2 insertions(+), 5 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 3284163f..4b6b73c1 100644 --- a/src/generic/problemresolver/incremental_expression.h +++ b/src/generic/problemresolver/incremental_expression.h @@ -542,14 +542,11 @@ public: void dump(std::ostream &out); }; -class not_e : public expression_container +class not_e : public expression_box { - cwidget::util::ref_ptr > child; - not_e(const cwidget::util::ref_ptr > &_child) - : child(_child) + : expression_box(_child) { - child->add_parent(this); } public: -- cgit v1.2.3