Increment the version

AeneasVerif · Oct 1, 2024 · 61dd9e8 · 61dd9e8
1 parent 87f21d9
commit 61dd9e8
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.43"
+let supported_charon_version = "0.1.44"
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.43"
+version = "0.1.44"
 authors = ["Son Ho <[email protected]>"]
 edition = "2021"
 license = "Apache-2.0"