diff --git a/Cargo.lock b/Cargo.lock
index 612204220f2..a682acf3d3b 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -3737,6 +3737,7 @@ version = "2.8.4"
 dependencies = [
  "anyhow",
  "async-channel",
+ "cairo-lang-sierra-to-casm",
  "cairo-lang-starknet-classes",
  "cairo-lang-utils",
  "clap",
diff --git a/crates/bin/starknet-sierra-upgrade-validate/Cargo.toml b/crates/bin/starknet-sierra-upgrade-validate/Cargo.toml
index bc92ee567e7..2ec3a77cd51 100644
--- a/crates/bin/starknet-sierra-upgrade-validate/Cargo.toml
+++ b/crates/bin/starknet-sierra-upgrade-validate/Cargo.toml
@@ -15,10 +15,9 @@ reqwest = { version = "0.12", features = ["json"] }
 serde = { workspace = true, default-features = true }
 serde_json.workspace = true
 tokio.workspace = true
+cairo-lang-sierra-to-casm = { path = "../../cairo-lang-sierra-to-casm", version = "~2.8.4" }
 cairo-lang-starknet-classes = { path = "../../cairo-lang-starknet-classes", version = "~2.8.4" }
-cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.8.4", features = [
-  "serde",
-] }
+cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.8.4", features = ["serde"] }
 
 # This is not a direct dependency of this package, but it is included here to make sure that the
 # `vendored` feature is enabled (needed for the compilation to succeed on remote machines).