core: (fixes #265) Time is not rounded when created from int64x64_t

2020-11-27 21:10:11 -08:00
parent 2340fcf260
commit 7889786c30
1 changed files with 1 additions and 1 deletions
--- a/src/core/model/nstime.h
+++ b/src/core/model/nstime.h
@@ -234,7 +234,7 @@ public:
      }
  }
  explicit inline Time (const int64x64_t & v)
-    : m_data (v.GetHigh ())
+    : m_data (v.Round ())
  {
    if (g_markingTimes)
      {