From 8e58908e53f95df343fe77a20f7fa7605fe806d9 Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 1 Mar 2019 20:53:28 -0500
Subject: [PATCH] haeredes.cabal: add Paths_haeredes to other-modules to
 silence a warning.

If Cabal is happy, I'm happy. This appears to not do the wrong thing.
In other words, nothing is changed by including Paths_haeredes in the
list of other-modules.
---
 haeredes.cabal | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/haeredes.cabal b/haeredes.cabal
index 723fc07..f4a4121 100644
--- a/haeredes.cabal
+++ b/haeredes.cabal
@@ -97,6 +97,11 @@ executable haeredes
     CommandLine
     DNS
     ExitCodes
+    -- WARNING: the Paths_haeredes module is automatically generated by
+    -- Cabal itself. We don't want it included in the release tarballs,
+    -- since we typically want the paths that the user has configured.
+    -- Nevertheless, Cabal will complain if we don't include it here.
+    Paths_haeredes
     Timeout
 
   ghc-options:
-- 
2.44.2