diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 19:09:55 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-31 19:09:55 -0700 |
| commit | d86d8e6d41394166370bdaee4b02fa1ce6886f42 (patch) | |
| tree | 6cc41add8a653e655f2f2ecbc862d840a688f88b /LICENSE | |
| parent | 744da7955a4468c411b5d01d313012edc7452dda (diff) | |
Fix an issue with column numbers in the VS extension
The error came from the fact that Dafny now consistently used 0-based indexing.
Boogie gets its traces from text that's inserted by Dafny in the Boogie file, so
there's no need to apply an extra offset in the VS extension.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions