diff --git a/dune/stuff/common/fvector.hh b/dune/stuff/common/fvector.hh index 53a00d7cabada42193f0e67f5b8b4f02f4e927ba..d709c3a420c88f17b740396230f2a0b94a493105 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