diff options
Diffstat (limited to 'Demo/scripts/pp.py')
| -rwxr-xr-x | Demo/scripts/pp.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Demo/scripts/pp.py b/Demo/scripts/pp.py index 64e57ee..92a1104 100755 --- a/Demo/scripts/pp.py +++ b/Demo/scripts/pp.py @@ -125,6 +125,6 @@ fp.write(program) fp.flush() if DFLAG: import pdb - pdb.run('execfile(' + `tfn` + ')') + pdb.run('execfile(%r)' % (tfn,)) else: execfile(tfn) |