diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-23 09:15:48 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-23 09:15:48 -0400 |
| commit | 32fa5e483075eda00d71238e24444d6f51d51f8f (patch) | |
| tree | a57436faafc78096da477560af21138d427ad26b /Binaries | |
| parent | c5c25c54a86ed70c40b7a7ce5b2b9ddd54792c11 (diff) | |
Revert part of 1899 (47fd7d09d605, "Fix a check that occasionally led to ...")
That commit accidentally overwrote the dafny shell script for Linux and MacOS.
Diffstat (limited to 'Binaries')
| -rwxr-xr-x | Binaries/dafny | bin | 19456 -> 315 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/dafny b/Binaries/dafny Binary files differindex 05fa3203..889ebc81 100755 --- a/Binaries/dafny +++ b/Binaries/dafny |