diff --git a/src/prolog/copier.rs b/src/prolog/copier.rs
index 5c918d5a..4e98044e 100644
--- a/src/prolog/copier.rs
+++ b/src/prolog/copier.rs
@@ -89,7 +89,7 @@ pub(crate) trait CopierTarget: IndexMut<usize, Output=HeapCellValue>
                             let rd = self.store(self.deref(ra));
 
                             match rd.clone() {
-                                Addr::AttrVal(h) | Addr::HeapCell(h) if h >= old_h =>
+                                Addr::AttrVar(h) | Addr::HeapCell(h) if h >= old_h =>
                                     self[threshold] = HeapCellValue::Addr(rd),
                                 ra @ Addr::AttrVar(_) | ra @ Addr::HeapCell(..) | ra @ Addr::StackCell(..) =>
                                     if ra == rd {