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"