diff options
Diffstat (limited to 'scripts/process_optimize_instructions.py')
-rwxr-xr-x | scripts/process_optimize_instructions.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/process_optimize_instructions.py b/scripts/process_optimize_instructions.py index a9337b13b..f10e66a8b 100755 --- a/scripts/process_optimize_instructions.py +++ b/scripts/process_optimize_instructions.py @@ -11,6 +11,6 @@ outfile = os.path.join(root, 'src', 'passes', out = open(outfile, 'w') for line in open(infile): - out.write('"' + line.strip().replace('"', '\\"') + '\\n"\n') + out.write('"' + line.strip().replace('"', '\\"') + '\\n"\n') out.close() |