From 69a367d1c9297bdaa7cc6674a8acf6538be8a205 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 30 Dec 2025 22:16:25 -0800
Subject: [PATCH] do not retain attributes in solutions of findall (#3020)

---
 src/machine/system_calls.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs
index 3a6c321b..edd08cb5 100644
--- a/src/machine/system_calls.rs
+++ b/src/machine/system_calls.rs
@@ -925,7 +925,7 @@ impl MachineState {
             &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 {
             offset: threshold + lh_offset + 2,
-- 
2.54.0