From 4ca25de4d42709e92ea0d36f43d1a0339764dcd3 Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix@schindlerfamily.de>
Date: Fri, 4 Apr 2014 17:23:19 +0200
Subject: [PATCH] [functions.combined] minor change in name of difference

---
 dune/stuff/functions/combined.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune/stuff/functions/combined.hh b/dune/stuff/functions/combined.hh
index 53b0e713d..b98d6be4e 100644
--- a/dune/stuff/functions/combined.hh
+++ b/dune/stuff/functions/combined.hh
@@ -153,7 +153,7 @@ public:
 
   virtual std::string name() const DS_OVERRIDE
   {
-    return "Difference of '" + minuend_.name() + "' and '" + subtrahend_.name() + "'";
+    return "difference between '" + minuend_.name() + "' and '" + subtrahend_.name() + "'";
   }
 
 private:
-- 
GitLab