Update symbol_table

Brings symbol_table to the same version of hashbrown as egglog and has multi-threaded performance improvements.
egraphs-good · Oct 28, 2024 · 3ffa03a · 3ffa03a
1 parent 60342af
commit 3ffa03a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 27 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -31,7 +31,7 @@ indexmap = "2.0"
 instant = "0.1"
 log = "0.4"
 rustc-hash = "1.1"
-symbol_table = { version = "0.3.0", features = ["global"] }
+symbol_table = { version = "0.4.0", features = ["global"] }
 thiserror = "1"
 lazy_static = "1.4"
 num-integer = "0.1.45"