From b793bf7ed0237ed1128996922c9c0c64b5af4c65 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Thu, 28 Jun 2012 16:58:41 -0700
Subject: Boogie: formated elapsed time

---
 Source/BoogieDriver/BoogieDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/BoogieDriver/BoogieDriver.cs')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 746504b3..114a26cf 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -744,7 +744,7 @@ namespace Microsoft.Boogie {
           if (CommandLineOptions.Clo.Trace || CommandLineOptions.Clo.XmlSink != null) {
             if (CommandLineOptions.Clo.Trace) {
               int poCount = vcgen.CumulativeAssertionCount - prevAssertionCount;
-              timeIndication = string.Format("  [{0} s, {1} proof obligation{2}]  ", elapsed.TotalSeconds, poCount, poCount == 1 ? "" : "s");
+              timeIndication = string.Format("  [{0} s, {1} proof obligation{2}]  ", elapsed.ToString("%s\\.fff"), poCount, poCount == 1 ? "" : "s");
             }
           }
 
-- 
cgit v1.2.3