diff --git a/tools/check_encoding.py b/tools/check_encoding.py
index e39d60e08..d964ebaab 100755
--- a/tools/check_encoding.py
+++ b/tools/check_encoding.py
@@ -18,4 +18,4 @@
             if not contents.isascii():
                 for line in contents.split('\n'):
                     if not line.isascii():
-                        raise Exception('Detected non-ascii characters in file {}, line: "{}"'.format(os.path.join(root, file), line))            
\ No newline at end of file
+                        raise Exception('Detected non-ascii characters in file {}, line: "{}"'.format(os.path.join(root, file), line))