cosmetic touchups;
@@ -158,11 +158,10 @@ fn unify(&mut self, a1: Addr, a2: Addr) {
fn trail(&mut self, r: Ref) {
match r {
- Ref::HeapCell(hc) => {
+ Ref::HeapCell(hc) =>
if hc < self.hb {
self.trail.push(r);
self.tr += 1;
- }
},
Ref::StackCell(fr, _) => {
let fr_gi = self.and_stack[fr].global_index;
