From d30abd99aec580a11ff38c4152697d2ecb40cbac Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Tue, 8 Jul 2025 18:00:01 +0200
Subject: [PATCH] chore: remove Paths_postgrest module

The dependency on it was removed in #3608 already, but we forgot to
remove it from postgrest.cabal, which caused it to still be built.

We didn't realize because all references of it were stripped away by
dead code elimination anyway.
---
 postgrest.cabal | 1 -
 1 file changed, 1 deletion(-)

diff --git a/postgrest.cabal b/postgrest.cabal
index fe38bc9c7..47c5ccaa5 100644
--- a/postgrest.cabal
+++ b/postgrest.cabal
@@ -91,7 +91,6 @@ library
                       PostgREST.Response.GucHeader
                       PostgREST.Response.Performance
                       PostgREST.Version
-  other-modules:      Paths_postgrest
   build-depends:      base                      >= 4.9 && < 4.20
                     , HTTP                      >= 4000.3.7 && < 4000.5
                     , Ranged-sets               >= 0.3 && < 0.5