1 files changed, 3 insertions, 0 deletions
diff --git a/lint/RULES b/lint/RULES
index d7b2703..7e2861c 100644
--- a/lint/RULES
+++ b/lint/RULES
@@ -133,6 +133,9 @@
             }
           }
         ]
+      , [ "lint results"
+        , {"type": "nub_right", "$1": {"type": "var", "name": "lint results"}}
+        ]
       , [ "summary input"
         , {"type": "enumerate", "$1": {"type": "var", "name": "lint results"}}
         ]