diff options
Diffstat (limited to 'DafnyDriver/DafnyDriver.cs')
-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)
{
|