diff options
| author |  wuestholz <unknown> | 2013-06-03 11:10:25 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-06-03 11:10:25 -0700 |
| commit | 285de81d5746bf53aa2296fa43c79949c5c2f1a0 (patch) | |
| tree | 6f833fb736530d54d6e65d9507831ea12032b6e3 /Source/DafnyDriver/DafnyDriver.cs | |
| parent | 2927e2cc553a6d82ca7c7afeb9cb5d96fed7aa6d (diff) | |
Did some refactoring of the Dafny drivers.
Diffstat (limited to 'Source/DafnyDriver/DafnyDriver.cs')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index f3da0ec2..f1a9ae80 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -293,7 +293,6 @@ namespace Microsoft.Dafny }
-
static void ReportBplError(IToken tok, string message, bool error)
{
Contract.Requires(message != null);
|