diff options
| author |  Bryan Parno <parno@microsoft.com> | 2015-09-17 15:30:39 -0700 |
|---|---|---|
| committer | Bryan Parno <parno@microsoft.com> | 2015-09-17 15:30:39 -0700 |
| commit | 4685709c25b5f22c51b6419c4898a689e8ffb4f9 (patch) | |
| tree | 58840e1ffa71587e8b6e1fda35a9897a6c96d41a /Binaries | |
| parent | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (diff) | |
Fix a check that occasionally led to an out of bounds exception in the extension
Diffstat (limited to 'Binaries')
| -rwxr-xr-x | Binaries/dafny | bin | 315 -> 19456 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/dafny b/Binaries/dafny Binary files differindex 889ebc81..05fa3203 100755 --- a/Binaries/dafny +++ b/Binaries/dafny |