summaryrefslogtreecommitdiff
path: root/Binaries
diff options
context:
space:
mode:
Diffstat (limited to 'Binaries')
-rwxr-xr-xBinaries/dafnybin315 -> 19456 bytes
1 files changed, 0 insertions, 0 deletions
diff --git a/Binaries/dafny b/Binaries/dafny
index 889ebc81..05fa3203 100755
--- a/Binaries/dafny
+++ b/Binaries/dafny
Binary files differ