From 812c76c8614325625abde051c1dbbf3d80ce6f60 Mon Sep 17 00:00:00 2001
From: David Ewert <33990711+dewert99@users.noreply.github.com>
Date: Sun, 24 Dec 2023 15:46:50 -0800
Subject: [PATCH] Make explain_id_equivalence public (#289)

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

diff --git a/src/egraph.rs b/src/egraph.rs
index 2de073b9..6af452b2 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 {:?}",