From a7fa0ccd06e49461afaf52ed36222cb5ffa7398b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 1 Oct 2014 12:42:44 +0200
Subject: [PATCH] base: add 'String::operator!='

---
 repos/base/include/util/string.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/base/include/util/string.h b/repos/base/include/util/string.h
index 9ef7298751..86658d2d32 100644
--- a/repos/base/include/util/string.h
+++ b/repos/base/include/util/string.h
@@ -488,6 +488,12 @@ namespace Genode {
 			{
 				return strcmp(string(), other.string()) == 0;
 			}
+
+			template <size_t OTHER_CAPACITY>
+			bool operator != (String<OTHER_CAPACITY> const &other) const
+			{
+				return strcmp(string(), other.string()) != 0;
+			}
 	};
 }