diff --git a/crates/kind-cli/Cargo.toml b/crates/kind-cli/Cargo.toml
index 3a671968..e51bf5dd 100644
--- a/crates/kind-cli/Cargo.toml
+++ b/crates/kind-cli/Cargo.toml
@@ -5,7 +5,7 @@ keywords = ["functional", "language", "type-theory", "proof-assistant"]
 license = "MIT"
 name = "kind2"
 repository = "https://github.com/Kindelia/Kind2"
-version = "0.3.7"
+version = "0.3.8"
 
 [[bin]]
 name = "kind2"