diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-05-29 17:58:40 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-05-29 17:58:40 -0700 |
| commit | d3db81156dfbb68c002c06dfea79c8065c26a900 (patch) | |
| tree | 03b96576fd7e945ea527a09e4399b473f23bb21a /DafnyDriver | |
| parent | a6854b96780ee152ff5462695b602edf98e84e61 (diff) | |
further refactoring of SI;
removed the program argument to call to VerifyImplementation in Dafny
Diffstat (limited to 'DafnyDriver')
| -rw-r--r-- | DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DafnyDriver/DafnyDriver.cs b/DafnyDriver/DafnyDriver.cs index 4cf64788..3534dcbf 100644 --- a/DafnyDriver/DafnyDriver.cs +++ b/DafnyDriver/DafnyDriver.cs @@ -616,7 +616,7 @@ namespace Microsoft.Dafny int prevAssertionCount = vcgen.CumulativeAssertionCount;
try
{
- outcome = vcgen.VerifyImplementation(impl, program, out errors);
+ outcome = vcgen.VerifyImplementation(impl, out errors);
}
catch (VCGenException e)
{
|