fix build

egraphs-good · Oct 7, 2024 · cc76471 · cc76471
1 parent 67d6c20
commit cc76471
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -29,8 +29,8 @@ mod value;
 use ast::desugar::Desugar;
 use ast::remove_globals::remove_globals;
 use extract::Extractor;
-use hashbrown::hash_map::Entry;
 use index::ColumnIndex;
+use indexmap::map::Entry;
 use instant::{Duration, Instant};
 pub use serialize::SerializeConfig;
 pub use serialize::SerializedNode;

diff --git a/src/typechecking.rs b/src/typechecking.rs
@@ -1,5 +1,6 @@
 use crate::{core::CoreRule, *};
 use ast::Rule;
+use hashbrown::hash_map;
 
 #[derive(Clone, Debug)]
 pub struct FuncType {
@@ -84,8 +85,8 @@ impl TypeInfo {
         let name = sort.name();
 
         match self.sorts.entry(name) {
-            Entry::Occupied(_) => Err(TypeError::SortAlreadyBound(name, span)),
-            Entry::Vacant(e) => {
+            hash_map::Entry::Occupied(_) => Err(TypeError::SortAlreadyBound(name, span)),
+            hash_map::Entry::Vacant(e) => {
                 e.insert(sort.clone());
                 sort.register_primitives(self);
                 Ok(())