From 302da832fa374465bf66acb5c479cc6f1efba2d3 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@mit.edu>
Date: Wed, 27 Apr 2016 22:20:58 -0700
Subject: [PATCH] lint: Enforce whitespace between : and value in dicts.

---
 tools/lint-all | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/lint-all b/tools/lint-all
index 6c007e949e..412aa812b2 100755
--- a/tools/lint-all
+++ b/tools/lint-all
@@ -147,6 +147,10 @@ python_rules = [
     # This rule is constructed with + to avoid triggering on itself
     {'pattern': " =" + '[^ =>~"]',
      'description': 'Missing whitespace after "="'},
+    {'pattern': '":\w[^"]*$',
+     'description': 'Missing whitespace after ":"'},
+    {'pattern': "':\w[^']*$",
+     'description': 'Missing whitespace after ":"'},
     # This next check could have false positives, but it seems pretty
     # rare; if we find any, they can be added to the exclude list for
     # this rule.