bugfix: WallclockTimer::operator<< must be inlined to prevent multiple defs.

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1869 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
This commit is contained in:
adrian
2012-10-31 12:42:48 +00:00
parent dd17034fce
commit 4ec51b003a

View File

@ -61,7 +61,7 @@ public:
operator int() { return (int)getRuntimeAsDouble(); }
};
std::ostream& operator<< (std::ostream& os, const WallclockTimer& w)
inline std::ostream& operator<< (std::ostream& os, const WallclockTimer& w)
{ return os << w.getRuntimeAsString(); }
} // end-of-namespace: fail