diff options
author | 2012-01-11 09:55:06 +0100 | |
---|---|---|
committer | 2012-01-11 09:55:06 +0100 | |
commit | bf2bd08a7ebecfdec77e5bf64d1a4dda7973bcc6 (patch) | |
tree | 2635ee1d9e9984ad9c45211c70ea0b6072004b4e /Source/Core/Util.cs | |
parent | 416d28d0927ef49e60b3ac964782e175b7805892 (diff) |
Use DateTime.UtcNow instead of DateTime.Now
Diffstat (limited to 'Source/Core/Util.cs')
-rw-r--r-- | Source/Core/Util.cs | 4 |
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);
}
|