mypy: Add type to info dictionary.

JimGomez48 · May 22, 2017 · a9f4d56 · a9f4d56
1 parent 9fcd63b
commit a9f4d56
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/lib/pretty_print.py b/tools/lib/pretty_print.py
@@ -30,7 +30,7 @@ def pretty_print_html(html, num_spaces=4):
         line=-1,
         token_kind='html_start',
         tag='html',
-        extra_indent=0)
+        extra_indent=0) # type: Dict[str, Any]
     stack.append(info)
 
     # Our main job is to figure out offsets that we use to nudge lines