Merge pull request #14 from metadsl/upgrade-deps

Upgrade egg-smol dependency

Author: saulshanabrook

Cargo.lock

@@ -11,10 +11,12 @@ crate-type = ["cdylib"]
 [dependencies]
 # Use unreleased version to depend on signature improvements https://github.com/PyO3/pyo3/pull/2702
 pyo3 = { version = "0.18.1", features = ["extension-module"] }
-egg-smol = { git = "https://github.com/mwillsey/egg-smol", rev = "08a6e8fecdb77e6ba72a1b1d9ff4aff33229912c" }
+egg-smol = { git = "https://github.com/mwillsey/egg-smol", rev = "30feaaab88452ec4b6c5f7a199345298bac2dd0f" }
+# egg-smol = { path = "../egg-smol" }
 pyo3-log = "0.8.1"
 log = "0.4.17"
 lalrpop-util = { version = "0.19.8", features = ["lexer"] }
+ordered-float = "3.4"
 
 [package.metadata.maturin]
 name = "egg_smol.bindings"

Cargo.toml

@@ -1,5 +1,9 @@
 # Changelog
 
+## Unreleased
+
+- Upgrade `egg-smol` from `08a6e8fecdb77e6ba72a1b1d9ff4aff33229912c` to `6f2633a5fa379487fb389b80fc1225866f8b8c1a`.
+
 ## 0.2.0 (2023-03-27)
 
 This release adds support for a high level API for e-graphs.