From a9384450c92e5e9d9e1c7fd21fd5173fa2fb3db4 Mon Sep 17 00:00:00 2001
From: Yihong Zhang <yz489@cs.washington.edu>
Date: Mon, 20 Jan 2025 17:50:14 -0800
Subject: [PATCH] second attempt releasing

---
 CHANGELOG.md        | 1 +
 Cargo.lock          | 4 ++--
 Cargo.toml          | 2 +-
 web-demo/Cargo.toml | 2 +-
 4 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 07cf14af8..87d908dd0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -129,6 +129,7 @@ As of yet, the rust interface is not documented or well supported. We reccomend
 [0.1.0]: https://github.com/egraphs-good/egglog/tree/v0.1.0
 [0.2.0]: https://github.com/egraphs-good/egglog/tree/v0.2.0
 [0.3.0]: https://github.com/egraphs-good/egglog/tree/v0.3.0
+[0.4.0]: https://github.com/egraphs-good/egglog/tree/v0.4.0
 
 
 See release-instructions.md for more information on how to do a release.
diff --git a/Cargo.lock b/Cargo.lock
index b2a93a5d8..febace1d9 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -369,7 +369,7 @@ checksum = "675e35c02a51bb4d4618cb4885b3839ce6d1787c97b664474d9208d074742e20"
 
 [[package]]
 name = "egglog"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "chrono",
  "clap",
@@ -1310,7 +1310,7 @@ dependencies = [
 
 [[package]]
 name = "web-demo"
-version = "0.3.0"
+version = "0.4.0"
 dependencies = [
  "console_error_panic_hook",
  "egglog",
diff --git a/Cargo.toml b/Cargo.toml
index 12f824e6c..1c9093919 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "egglog"
-version = "0.3.0"
+version = "0.4.0"
 description = "egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg."
 repository = "https://github.com/egraphs-good/egglog"
 keywords = ["e-graphs", "egglog", "datalog", "compiler", "equality"]
diff --git a/web-demo/Cargo.toml b/web-demo/Cargo.toml
index 125b4d170..10e5d54e5 100644
--- a/web-demo/Cargo.toml
+++ b/web-demo/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 edition = "2021"
 name = "web-demo"
-version = "0.3.0"
+version = "0.4.0"
 
 [lib]
 crate-type = ["cdylib"]