diff --git a/src/machine/unify.rs b/src/machine/unify.rs index e386b4b0..e73fa4a1 100644 --- a/src/machine/unify.rs +++ b/src/machine/unify.rs @@ -496,7 +496,7 @@ pub(crate) trait Unifier: DerefMut { } (ArenaHeaderTag::Stream, stream) => { read_heap_cell!(value, - (HeapCellValueTag::AttrVar | HeapCellValueTag::Var) => { + (HeapCellValueTag::AttrVar | HeapCellValueTag::Var | HeapCellValueTag::StackVar) => { Self::bind(self, value.as_var().unwrap(), untyped_arena_ptr_as_cell!(ptr)); } (HeapCellValueTag::Atom, (name, arity)) => {