From 0617d3a88bb1f84622b8a94bd3366c7c8c9e8f8a Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 30 Aug 2021 09:38:13 -0700
Subject: Hlint: ignore "Use void."

---
 .hlint.yaml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.hlint.yaml')

diff --git a/.hlint.yaml b/.hlint.yaml
index ad0f7ddb9..177aa2e32 100644
--- a/.hlint.yaml
+++ b/.hlint.yaml
@@ -10,6 +10,7 @@
 #
 - ignore: {name: "Avoid lambda"}
 - ignore: {name: "Use bimap"}
+- ignore: {name: "Use void"}
 - ignore: {name: "Eta reduce"}
 - ignore: {name: "Evaluate"}
 - ignore: {name: "Reduce duplication"} # TODO: could be more fine-grained
-- 
cgit v1.2.3