1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Core/Util.cs b/Source/Core/Util.cs
index 6424171b..f45e2995 100644
--- a/Source/Core/Util.cs
+++ b/Source/Core/Util.cs
@@ -518,12 +518,12 @@ namespace Microsoft.Boogie {
       return e.ToString();
     }
 
-    private static readonly DateTime StartUp = DateTime.Now;
+    private static readonly DateTime StartUp = DateTime.UtcNow;
 
     public static void ExtraTraceInformation(string point) {
       Contract.Requires(point != null);
       if (CommandLineOptions.Clo.TraceTimes) {
-        DateTime now = DateTime.Now;
+        DateTime now = DateTime.UtcNow;
         TimeSpan timeSinceStartUp = now - StartUp;
         Console.WriteLine(">>> {0}   [{1} s]", point, timeSinceStartUp.TotalSeconds);
       }