Check that the Editor actually edits something.

diff --git a/test/verify_test.cc b/test/verify_test.cc
index 0b7faad59621c20c62a770813b345034317d25e7..0a9852ee47d52727696d98f3930e5584fa8dd29a 100644 (file)
--- a/test/verify_test.cc
+++ b/test/verify_test.cc
@@ -138,7 +138,9 @@ public:
 
        void replace (string a, string b)
        {
+               auto old_content = _content;
                boost::algorithm::replace_all (_content, a, b);
+               BOOST_REQUIRE (_content != old_content);
        }
 
 private: