Revert "Add test for #11473"
[ghc.git] / .arclint
index ef43856..8f83776 100644 (file)
--- a/.arclint
+++ b/.arclint
       "severity": {
         "2": "disabled"
       }
-    },
-    "check-binaries": {
-      "type": "external-json",
-      "external-json.script": "python .arc-linters/check-binaries.py"
-    },
-    "bad-assert-clang-cpp": {
-      "type": "external-json",
-      "include": ["(\\.(l?hs|x|y\\.pp)(\\.in)?$)"],
-      "external-json.script": "python .arc-linters/check-cpp.py"
     }
   },