From 4928471b795cfc98e38b0d2e44e388a8e21d4e32 Mon Sep 17 00:00:00 2001
From: Jason Koenig <unknown>
Date: Mon, 30 Jul 2012 17:22:28 -0700
Subject: Dafny: support opening modules into the local scope

---
 DafnyDriver/DafnyDriver.cs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'DafnyDriver')

diff --git a/DafnyDriver/DafnyDriver.cs b/DafnyDriver/DafnyDriver.cs
index 82a0e8ed..672124b1 100644
--- a/DafnyDriver/DafnyDriver.cs
+++ b/DafnyDriver/DafnyDriver.cs
@@ -638,8 +638,8 @@ namespace Microsoft.Dafny
             {
                 if (CommandLineOptions.Clo.Trace)
                 {
-                    int poCount = vcgen.CumulativeAssertionCount - prevAssertionCount;
-                    timeIndication = string.Format("  [{0} s, {1} proof obligation{2}]  ", elapsed.TotalSeconds, poCount, poCount == 1 ? "" : "s");
+                  int poCount = vcgen.CumulativeAssertionCount - prevAssertionCount;
+                  timeIndication = string.Format("  [{0:F3} s, {1} proof obligation{2}]  ", elapsed.TotalSeconds, poCount, poCount == 1 ? "" : "s");
                 }
             }
 
-- 
cgit v1.2.3