summaryrefslogtreecommitdiff
path: root/tools/reformat.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/reformat.py')
-rwxr-xr-xtools/reformat.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/reformat.py b/tools/reformat.py
index 7e038905c2c..61306d0235d 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"):