From 8ede9fda35767f083899940886b69f53640891c9 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 27 Aug 2015 18:59:10 -0700
Subject: Look for z3 in Binaries/z3/bin (but keep the vendored version for
 convenience)

Dafny now first looks for a z3 binary in z3/bin, and if it can't find one it
looks for one in Binaries/z3.exe (mostly for backwards-compatibility with
already set-up source installations).
---
 Binaries/z3 | Bin 16438468 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100755 Binaries/z3

(limited to 'Binaries')

diff --git a/Binaries/z3 b/Binaries/z3
deleted file mode 100755
index 7c60feb4..00000000
Binary files a/Binaries/z3 and /dev/null differ
-- 
cgit v1.2.3