misc: missing dependency

Author: W95Psp

Cargo.lock

@@ -48,14 +48,21 @@ extension-traits = "1.0.1"
 serde.workspace = true
 serde_json.workspace = true
 hax-types.workspace = true
+rust-printer.workspace = true
 schemars.workspace = true
 hax-frontend-exporter.workspace = true
-hax-lib-macros-types = {workspace = true, features = ["schemars"]}
+hax-lib-macros-types = { workspace = true, features = ["schemars"] }
 version_check = "0.9"
 toml = "0.8"
 
 [package.metadata.release]
-pre-release-hook = ["dune", "build", "--root", "../../engine", "hax-engine.opam"]
+pre-release-hook = [
+    "dune",
+    "build",
+    "--root",
+    "../../engine",
+    "hax-engine.opam",
+]
 
 [[package.metadata.release.pre-release-replacements]]
 file = "../../engine/dune-project"