diff --git a/src/script_opt/Reduce.cc b/src/script_opt/Reduce.cc index b30c669882..d2b0f009a6 100644 --- a/src/script_opt/Reduce.cc +++ b/src/script_opt/Reduce.cc @@ -176,6 +176,7 @@ IDPtr Reducer::GenLocal(ID* orig) IDPtr local_id = install_ID(buf, "", false, false); local_id->SetType(orig->GetType()); + local_id->SetAttrs(orig->GetAttrs()); new_locals.insert(local_id.get()); orig_to_new_locals[orig] = local_id;