do not retain attributes in solutions of findall (#3020)

This commit is contained in:
Mark Thom
2025-12-30 22:16:25 -08:00
parent e2bdf59c81
commit 69a367d1c9

View File

@@ -925,7 +925,7 @@ impl MachineState {
&mut self.lifted_heap, &mut self.lifted_heap,
); );
let pstr_boundary = copy_term(copy_ball_term, copy_target, AttrVarPolicy::DeepCopy)?; let pstr_boundary = copy_term(copy_ball_term, copy_target, AttrVarPolicy::StripAttributes)?;
Ok(FindallCopyInfo { Ok(FindallCopyInfo {
offset: threshold + lh_offset + 2, offset: threshold + lh_offset + 2,