From a6796ce771a032a0b29761bf14496cb589ec3816 Mon Sep 17 00:00:00 2001
From: dewert99 <dewert10@gmail.com>
Date: Fri, 22 Dec 2023 15:37:13 -0800
Subject: [PATCH] Make explain_id_equivalence public

---
 src/egraph.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/egraph.rs b/src/egraph.rs
index af2b2671..a84dd159 100644
--- 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 {:?}",