HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-08-15 19:30:41 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix: fixed binary name in kind-cli

Browse Source
This commit is contained in:
felipegchi 2022-12-01 11:27:33 -03:00
parent a92495f6f0
commit 023369a1c8
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/kind-cli/Cargo.toml
View File

@ -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