From ae16c84f1d235e9df27b96479e1109b3c91f13ca Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Tue, 26 May 2009 07:47:30 -0700 Subject: Implement operator< for expression weak references. --- src/generic/problemresolver/incremental_expression.h | 5 +++++ 1 file changed, 5 insertions(+) (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 737925b4..39170666 100644 --- a/src/generic/problemresolver/incremental_expression.h +++ b/src/generic/problemresolver/incremental_expression.h @@ -123,6 +123,11 @@ public: return expr == other; } + bool operator<(const expression_weak_ref &other) const + { + return expr < other.expr; + } + ~expression_weak_ref(); }; -- cgit v1.2.3