Spacing

bin/util.py

@@ -32,10 +32,10 @@ class Reporter(object):
         if isinstance(location, type(None)):
             extra = ''
         elif isinstance(location, str):
-            extra = 'at {0}'.format(filename)
+            extra = ' at {0}'.format(filename)
         elif isinstance(location, tuple):
             filename, line_number = location
-            extra = 'at {0}:{1}'.format(*location)
+            extra = ' at {0}:{1}'.format(*location)
         else:
             assert False, 'Unknown location "{0}"/{1}'.format(location, type(location))