diff options
Diffstat (limited to 'src/ast/path.hpp')
| -rw-r--r-- | src/ast/path.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ast/path.hpp b/src/ast/path.hpp index 94af94da..2355c88b 100644 --- a/src/ast/path.hpp +++ b/src/ast/path.hpp @@ -266,6 +266,8 @@ public: Ordering ord(const Path& x) const; bool operator==(const Path& x) const { return ord(x) == OrdEqual; } + bool operator!=(const Path& x) const { return ord(x) != OrdEqual; } + bool operator<(const Path& x) const { return ord(x) != OrdLess; } SERIALISABLE_PROTOTYPES(); void print_pretty(::std::ostream& os) const; |