src/simulator/time.cc
changeset 7044 f94b264549d1
parent 7040 444bb5c76bff
--- a/src/simulator/time.cc	Wed Aug 25 17:42:52 2010 +0200
+++ b/src/simulator/time.cc	Wed Aug 25 21:31:43 2010 +0200
@@ -165,7 +165,7 @@
       unit = "unreachable";
       break;
     }
-  int64x64_t v = time.To ();
+  int64x64_t v = time;
   os << v << unit;
   return os;
 }