fix(chacha20): move hax-bounded-integers to the right workspace

cryspen · May 2, 2024 · 13e9fc0 · 13e9fc0
1 parent 16b1dc3
commit 13e9fc0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -89,6 +89,5 @@ hax-lint = { path = "frontend/lint", version = "=0.1.0-pre.1" }
 hax-phase-debug-webapp = { path = "engine/utils/phase-debug-webapp", version = "=0.1.0-pre.1" }
 hax-lib-macros-types = { path = "hax-lib-macros/types", version = "=0.1.0-pre.1" }
 hax-lib-macros = { path = "hax-lib-macros", version = "=0.1.0-pre.1" }
-hax-bounded-integers = { path = "hax-bounded-integers", version = "=0.1.0-pre.1" }
 hax-lib = { path = "hax-lib", version = "=0.1.0-pre.1" }
 hax-engine-names = { path = "engine/names", version = "=0.1.0-pre.1" }
diff --git a/examples/Cargo.toml b/examples/Cargo.toml
@@ -11,3 +11,5 @@ resolver = "2"
 [workspace.dependencies]
 hax-lib-macros = { path = "../hax-lib-macros" }
 hax-lib = { path = "../hax-lib" }
+hax-bounded-integers = { path = "../hax-bounded-integers", version = "=0.1.0-pre.1" }
+