asp.py: abs_control_files shouldn't ask for write rights (#49591)

This commit is contained in:
germanne 2025-03-19 15:19:40 +01:00 committed by GitHub
parent 26f7b2c066
commit a8584d5eb4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1209,7 +1209,7 @@ def solve(self, setup, specs, reuse=None, output=None, control=None, allow_depre
full_path = lambda x: os.path.join(parent_dir, x)
abs_control_files = [full_path(x) for x in control_files]
for ctrl_file in abs_control_files:
with open(ctrl_file, "r+", encoding="utf-8") as f:
with open(ctrl_file, "r", encoding="utf-8") as f:
problem_repr += "\n" + f.read()
result = None