rebump charon version

AeneasVerif · Sep 6, 2024 · 6184fa2 · 6184fa2
1 parent 5630adb
commit 6184fa2
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/charon-ml/src/CharonVersion.ml b/charon-ml/src/CharonVersion.ml
@@ -1,3 +1,3 @@
 (* This is an automatically generated file, generated from `charon/Cargo.toml`. *)
 (* To re-generate this file, rune `make` in the root directory *)
-let supported_charon_version = "0.1.38"
+let supported_charon_version = "0.1.39"
diff --git a/charon/Cargo.lock b/charon/Cargo.lock
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "charon"
-version = "0.1.38"
+version = "0.1.39"
 authors = ["Son Ho <[email protected]>"]
 edition = "2021"
 license = "Apache-2.0"