From 15c508a04a0a1e45a3d38b175f8bd2bd6999884a Mon Sep 17 00:00:00 2001
From: Jad Ghalayini <jad.ghalayini@protonmail.com>
Date: Tue, 4 Feb 2025 11:18:21 +0000
Subject: [PATCH] Typo

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

diff --git a/src/explain.rs b/src/explain.rs
index 9e0f2a2e..4e705d5e 100644
--- a/src/explain.rs
+++ b/src/explain.rs
@@ -926,7 +926,7 @@ impl<L: Language> Explain<L> {
     pub(crate) fn initialize_up_to(&mut self, node: L, set: Id) -> usize {
         let mut ix = self.explainfind.len();
         let mut added = 0;
-        while ix < usize::from(set) {
+        while ix <= usize::from(set) {
             let set_ix = ix.into();
             self.uncanon_memo.insert(node.clone(), set_ix);
             self.explainfind.push(ExplainNode {