Make explain_id_equivalence public (#289)

egraphs-good · Dec 24, 2023 · 812c76c · 812c76c
1 parent 034f12e
commit 812c76c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/egraph.rs b/src/egraph.rs
@@ -429,7 +429,7 @@ impl<L: Language, N: Analysis<L>> EGraph<L, N> {
     /// This function picks representatives using [`id_to_expr`](EGraph::id_to_expr) so choosing
     /// `Id`s returned by functions like [`add_uncanonical`](EGraph::add_uncanonical) is important
     /// to control explanations
-    fn explain_id_equivalence(&mut self, left: Id, right: Id) -> Explanation<L> {
+    pub fn explain_id_equivalence(&mut self, left: Id, right: Id) -> Explanation<L> {
         if self.find(left) != self.find(right) {
             panic!(
                 "Tried to explain equivalence between non-equal terms {:?} and {:?}",