src/simulator/time.cc
changeset 2953 db884a56c5c1
parent 2947 b0fec3381418
child 2965 4b28e9740e3b
--- a/src/simulator/time.cc	Fri Apr 11 11:27:09 2008 -0700
+++ b/src/simulator/time.cc	Fri Apr 11 12:23:19 2008 -0700
@@ -230,7 +230,7 @@
       is.setstate (std::ios_base::failbit);
       return is;
     }
-  std::string trailer = value.substr(n, value.size ()-1-n);
+  std::string trailer = value.substr(n, value.size ()-n);
   std::istringstream iss;
   iss.str (value.substr(0, n));