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 7e038905c..61306d023 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"): |