From 4f81a756c9e89c1711ed5e56fded27129a997e18 Mon Sep 17 00:00:00 2001
From: Sergey Pepyakin <s.pepyakin@gmail.com>
Date: Wed, 1 Nov 2017 15:52:51 +0300
Subject: [PATCH] Remove "nondeterminism-check" binary

---
 Cargo.toml | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 5fffdc2..8becbb0 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -29,7 +29,3 @@ path = "gas/src/main.rs"
 [[bin]]
 name = "wasm-build"
 path = "build/src/main.rs"
-
-[[bin]]
-name = "nondeterminism-check"
-path = "nondeterminism_check/src/main.rs"