diff options
Diffstat (limited to 'tools/reformat.py')
| -rwxr-xr-x | tools/reformat.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/reformat.py b/tools/reformat.py index 7e038905c2..61306d0235 100755 --- a/tools/reformat.py +++ b/tools/reformat.py @@ -49,7 +49,7 @@ try: ["ignore-case","default","split="]) except getopt.GetoptError as err: print str(err) # will print something like "option -a not recognized" - sys.exit(2) + sys.exit(2) for o, a in opts: if o in ("-s", "--split"): |