diff options
| author |  rustanleino <unknown> | 2011-02-27 00:20:54 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-02-27 00:20:54 +0000 |
| commit | fba28094d2d14060e54d3c1e6811a40cb09d7ea0 (patch) | |
| tree | 75519f76e94a9f04f8f58c49389fccd7d1530407 /DafnyDriver | |
| parent | 030a31968ee7b949b14c6aeed8e550385bca92d8 (diff) | |
Dafny: Non-empty Visual-Studio error messages for related split-expr locations.
Dafny: Forbid jumps from ghost code.
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 b3efd7aa..aa0be9dd 100644 --- a/DafnyDriver/DafnyDriver.cs +++ b/DafnyDriver/DafnyDriver.cs @@ -268,7 +268,7 @@ namespace Microsoft.Boogie }
if (tok is Dafny.NestedToken) {
var nt = (Dafny.NestedToken)tok;
- ReportBplError(nt.Inner, "Related location", false);
+ ReportBplError(nt.Inner, "Related location: Related location", false);
}
}
|