Update charon/Cargo.{toml, lock}

AeneasVerif · Nov 21, 2023 · 3d1c665 · 3d1c665
1 parent d829506
commit 3d1c665
Show file tree

Hide file tree

Showing 2 changed files with 37 additions and 35 deletions.
diff --git a/charon/Cargo.lock b/charon/Cargo.lock
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
@@ -41,6 +41,8 @@ rustc_tools_util = "0.2.1"
 bumpalo = "3.11.1" # We constrain the version of [bumpalo] because of a vulnerability
 hax-frontend-exporter = { git = "https://github.com/hacspec/hacspec-v2.git", branch = "charon_traits" }
 hax-frontend-exporter-options = { git = "https://github.com/hacspec/hacspec-v2.git", branch = "charon_traits" }
+#hax-frontend-exporter = { path = "../../hacspec-v2/frontend/exporter" }
+#hax-frontend-exporter-options = { path = "../../hacspec-v2/frontend/exporter/options" }
 colored = "2.0.4"
 derivative = "2.2.0"
 backtrace = "0.3.69"