diff options
| author |  Jason Koenig <unknown> | 2012-07-30 17:22:28 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-30 17:22:28 -0700 |
| commit | 4928471b795cfc98e38b0d2e44e388a8e21d4e32 (patch) | |
| tree | 6889918066d3e4aa597da1f2fff7e5d221ec4a57 /DafnyDriver | |
| parent | ded134088845e37125e3d38929d37c5a9424518a (diff) | |
Dafny: support opening modules into the local scope
Diffstat (limited to 'DafnyDriver')
| -rw-r--r-- | DafnyDriver/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
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");
}
}
|