From 7889786c30a4301c9e568a869ef73aa55ee09cc8 Mon Sep 17 00:00:00 2001
From: "Peter D. Barnes, Jr" <barnes26@llnl.gov>
Date: Fri, 27 Nov 2020 21:10:11 -0800
Subject: [PATCH] core: (fixes #265) Time is not rounded when created from
 int64x64_t

---
 src/core/model/nstime.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/model/nstime.h b/src/core/model/nstime.h
index 090990534..d9bb42c97 100644
--- 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)
       {