Bump version

egraphs-good · Nov 24, 2023 · ef52718 · ef52718
1 parent 0548005
commit ef52718
Show file tree

Hide file tree

Showing 3 changed files with 5 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 = "3.1.0"
+version = "4.0.0"
 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
@@ -2,7 +2,9 @@
 
 _This project uses semantic versioning_
 
-## 4.0.0 (UNRELEASED)
+## Unreleased
+
+## 4.0.0 (2023-11-24)
 
 - Fix `as_egglog_string` proprety.
 - Move `EGraph.eval_fn` to `py_eval_fn` since it doesn't need the `EGraph` anymore.