Bump version.

sybila · Nov 8, 2023 · 4887da0 · 4887da0
1 parent b04c14e
commit 4887da0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "biodivine-lib-bdd"
-version = "0.5.2"
+version = "0.5.3"
 authors = ["Samuel Pastva <[email protected]>"]
 edition = "2021"
 description = "A simple thread-safe implementation of basic binary decision diagrams."