From 16e9611233f4727ebb60faa9af5cdce6eec0cd3a Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Sat, 7 Aug 2010 19:50:38 +0200
Subject: [PATCH] a double is not helpful here.

---
 src/simulator/time.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simulator/time.cc b/src/simulator/time.cc
index 1fb68105d..a74de3be6 100644
--- a/src/simulator/time.cc
+++ b/src/simulator/time.cc
@@ -165,7 +165,7 @@ operator<< (std::ostream& os, const Time & time)
       unit = "unreachable";
       break;
     }
-  double v = Time::ToDouble (time, Time::GetResolution ());
+  uint64_t v = Time::ToInteger (time, Time::GetResolution ());
   os << v << unit;
   return os;
 }