From 13e9fc0d2c87e2301debf50adb2cded934c4d725 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Thu, 2 May 2024 13:14:35 +0200
Subject: [PATCH] fix(chacha20): move `hax-bounded-integers` to the right
 workspace

---
 Cargo.toml          | 1 -
 examples/Cargo.toml | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 67a56a47f..afa76a8e7 100644
--- 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
index a202d5f0a..e4ff82da8 100644
--- 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" }
+