From 023369a1c89d2cc7bc22ed69c0e725a4b639e534 Mon Sep 17 00:00:00 2001 From: felipegchi Date: Thu, 1 Dec 2022 11:27:33 -0300 Subject: [PATCH] fix: fixed binary name in kind-cli --- crates/kind-cli/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml index 02d8a582..14acf092 100644 --- a/crates/kind-cli/Cargo.toml +++ b/crates/kind-cli/Cargo.toml @@ -8,7 +8,7 @@ license = "MIT" keywords = ["functional", "language", "type-theory", "proof-assistant"] [[bin]] -name = "kind" +name = "kind2" path = "src/main.rs" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html