TESTING: Update hashbrown in symbol_table

egraphs-good · Oct 19, 2024 · a92c5b7 · a92c5b7
1 parent 500c41a
commit a92c5b7
Show file tree

Hide file tree

Showing 2 changed files with 7 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.3.0", features = ["global"], "git" = "https://github.com/thaliaarchi/symbol_table", branch = "update-hashbrown" }
 thiserror = "1"
 lazy_static = "1.4"
 num-integer = "0.1.45"