diff options
Diffstat (limited to 'src/verify.cc')
| -rw-r--r-- | src/verify.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/verify.cc b/src/verify.cc index 8d06f9fa..ba0007db 100644 --- a/src/verify.cc +++ b/src/verify.cc @@ -2163,6 +2163,13 @@ dcp::operator== (dcp::VerificationNote const& a, dcp::VerificationNote const& b) bool +dcp::operator!=(dcp::VerificationNote const& a, dcp::VerificationNote const& b) +{ + return !(a == b); +} + + +bool dcp::operator< (dcp::VerificationNote const& a, dcp::VerificationNote const& b) { if (a.type() != b.type()) { |