From 4ec51b003a606ab790280665250a123aafcd8485 Mon Sep 17 00:00:00 2001
From: adrian <adrian@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Wed, 31 Oct 2012 12:42:48 +0000
Subject: [PATCH] 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
---
 src/core/util/WallclockTimer.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/util/WallclockTimer.hpp b/src/core/util/WallclockTimer.hpp
index 96c9b52b..25eda7af 100644
--- a/src/core/util/WallclockTimer.hpp
+++ b/src/core/util/WallclockTimer.hpp
@@ -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