From 431fc966131a2474d71c2c4704d9d0b93336c22a Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Sat, 13 Sep 2014 13:39:51 +0200
Subject: [PATCH] [common.fvetor] added operator* for scalars

---
 dune/stuff/common/fvector.hh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/dune/stuff/common/fvector.hh b/dune/stuff/common/fvector.hh
index 53a00d7ca..d709c3a42 100644
--- a/dune/stuff/common/fvector.hh
+++ b/dune/stuff/common/fvector.hh
@@ -90,6 +90,15 @@ public:
     BaseType::operator=(other);
     return *this;
   }
+
+  using BaseType::operator*;
+
+  ThisType operator*(const K& scalar) const
+  {
+    ThisType ret(*this);
+    ret *= scalar;
+    return ret;
+  }
 }; // class FieldVector
 
 
-- 
GitLab