From 38c39c902be922e361305fb7d7e4e8f677702524 Mon Sep 17 00:00:00 2001
From: hellwig <hellwig@8c4709b5-6ec9-48aa-a5cd-a96041d1645a>
Date: Tue, 25 Sep 2012 17:20:32 +0000
Subject: [PATCH] WallclockTimer cleaned

git-svn-id: https://www4.informatik.uni-erlangen.de/i4svn/danceos/trunk/devel/fail@1695 8c4709b5-6ec9-48aa-a5cd-a96041d1645a
---
 src/core/util/WallclockTimer.cc  | 2 +-
 src/core/util/WallclockTimer.hpp | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/core/util/WallclockTimer.cc b/src/core/util/WallclockTimer.cc
index 4bb38144..3e578934 100644
--- a/src/core/util/WallclockTimer.cc
+++ b/src/core/util/WallclockTimer.cc
@@ -50,7 +50,7 @@ double WallclockTimer::getRuntimeAsDouble() {
 	
 	int length;
 	long t1,t2, duration;
-	double resultdouble
+	double resultdouble;
 	std::stringstream lengthinfo, resultstring; 
 	
 	if (isRunning) {
diff --git a/src/core/util/WallclockTimer.hpp b/src/core/util/WallclockTimer.hpp
index 6b9ea7e9..03f890f1 100644
--- a/src/core/util/WallclockTimer.hpp
+++ b/src/core/util/WallclockTimer.hpp
@@ -8,9 +8,7 @@
   #define __WALLCLOCKTIMER_HPP__
 
 #include <string>
-#include <stdio.h>
 #include <stdlib.h>
-#include <math.h>
 #include <sys/time.h>