Use DateTime.UtcNow instead of DateTime.Now

see http://blogs.msdn.com/b/kirillosenkov/archive/2012/01/10/datetime-utcnow-is-generally-preferable-to-datetime-now.aspx

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Provers/TPTP/ProverInterface.cs b/Source/Provers/TPTP/ProverInterface.cs
index 662d45d3..b714ed67 100644
--- a/Source/Provers/TPTP/ProverInterface.cs
+++ b/Source/Provers/TPTP/ProverInterface.cs
@@ -201,7 +201,7 @@ USE_PREDICATES=<bool>     Try to use SMT predicates for functions returning bool
       Contract.Requires(expr != null);

       Contract.Ensures(Contract.Result<string>() != null);

 

-      DateTime start = DateTime.Now;

+      DateTime start = DateTime.UtcNow;

       if (CommandLineOptions.Clo.Trace)

         Console.Write("Linearising ... ");

 

@@ -238,7 +238,7 @@ USE_PREDICATES=<bool>     Try to use SMT predicates for functions returning bool
       Contract.Assert(res != null);

 

       if (CommandLineOptions.Clo.Trace) {

-        DateTime end = DateTime.Now;

+        DateTime end = DateTime.UtcNow;

         TimeSpan elapsed = end - start;

         Console.WriteLine("finished   [{0} s]", elapsed.TotalSeconds);

       }