From 32fa5e483075eda00d71238e24444d6f51d51f8f Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Wed, 23 Sep 2015 09:15:48 -0400
Subject: Revert part of 1899 (47fd7d09d605, "Fix a check that occasionally led
 to ...")

That commit accidentally overwrote the dafny shell script for Linux and MacOS.
---
 Binaries/dafny | Bin 19456 -> 315 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/Binaries/dafny b/Binaries/dafny
index 05fa3203..889ebc81 100755
Binary files a/Binaries/dafny and b/Binaries/dafny differ
-- 
cgit v1.2.3