Bump Version 0.5.1

egraphs-good · Jul 18, 2023 · 4288b87 · 4288b87
1 parent b05a79b
commit 4288b87
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "egglog-python"
-version = "0.4.0"
+version = "0.5.1"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

diff --git a/docs/changelog.md b/docs/changelog.md
@@ -4,7 +4,7 @@ _This project uses semantic versioning. Before 1.0.0, this means that every brea
 
 ## Unreleased
 
-## 0.6.0 (2023-07-18)
+## 0.5.1 (2023-07-18)
 
 - Added support for negation on `f64` sort
 - Upgraded `egg-smol` dependency ([changes](https://github.com/saulshanabrook/egg-smol/compare/4b7ec0a640b430bc86ec1d9f79e38a06e62c0cb7...353c4387640019bd2066991ee0488dc6d5c54168))