seen_recursion_pair is immutable

This commit is contained in:
Ayaz Hafiz 2023-05-02 15:17:59 -05:00
parent 4824de5192
commit 5815807927
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -370,7 +370,7 @@ impl<'a> Env<'a> {
debug_assert!(size_after < size_before, "nothing was removed");
}
fn seen_recursion_pair(&mut self, var1: Variable, var2: Variable) -> bool {
fn seen_recursion_pair(&self, var1: Variable, var2: Variable) -> bool {
let (var1, var2) = (
self.subs.get_root_key_without_compacting(var1),
self.subs.get_root_key_without_compacting(var2),