diff options
Diffstat (limited to 'src/generic/problemresolver/incremental_expression.h')
| -rw-r--r-- | src/generic/problemresolver/incremental_expression.h | 7 |
1 files changed, 2 insertions, 5 deletions
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<bool> +class not_e : public expression_box<bool> { - cwidget::util::ref_ptr<expression<bool> > child; - not_e(const cwidget::util::ref_ptr<expression<bool> > &_child) - : child(_child) + : expression_box<bool>(_child) { - child->add_parent(this); } public: |