From 6730fd9f3f83178409d5afbe548a83446d6560f2 Mon Sep 17 00:00:00 2001
From: Hauke Heibel <hauke.heibel@gmail.com>
Date: Mon, 22 Feb 2010 11:42:58 +0100
Subject: [PATCH] Port BenchTimer fix.

---
 bench/BenchTimer.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench/BenchTimer.h b/bench/BenchTimer.h
index a32495d60..e49afa07f 100644
--- a/bench/BenchTimer.h
+++ b/bench/BenchTimer.h
@@ -128,7 +128,7 @@ public:
 #ifdef WIN32
 	SYSTEMTIME st;
 	GetSystemTime(&st);
-	return (double)st.wSecond + 1.e-6 * (double)st.wMilliseconds;
+	return (double)st.wSecond + 1.e-3 * (double)st.wMilliseconds;
 #else
     struct timeval tv;
     struct timezone tz;