fix determinism bug using indexmap

egraphs-good · Aug 6, 2024 · 3847871 · 3847871
1 parent ecc3be5
commit 3847871
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -48,7 +48,7 @@ impl Display for Id {
 #[derive(Clone, Debug)]
 /// The egglog internal representation of already compiled rules
 pub(crate) enum Ruleset {
-    Rules(Symbol, HashMap<Symbol, CompiledRule>),
+    Rules(Symbol, IndexMap<Symbol, CompiledRule>),
     Combined(Symbol, Vec<Symbol>),
 }
 

diff --git a/src/lib.rs b/src/lib.rs
@@ -1100,8 +1100,8 @@ impl EGraph {
             match rules {
                 Ruleset::Rules(_, rules) => {
                     match rules.entry(name) {
-                        Entry::Occupied(_) => panic!("Rule '{name}' was already present"),
-                        Entry::Vacant(e) => e.insert(compiled_rule),
+                        indexmap::map::Entry::Occupied(_) => panic!("Rule '{name}' was already present"),
+                        indexmap::map::Entry::Vacant(e) => e.insert(compiled_rule),
                     };
                     Ok(name)
                 }