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).

1 files changed, 0 insertions, 0 deletions

diff --git a/Binaries/z3 b/Binaries/z3
deleted file mode 100755
index 7c60feb4..00000000
--- a/Binaries/z3
+++ /dev/null