From b28df988efd58ff989811349795199b463ec9444 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 7e21f21f6..1e55a7b81 100644
--- a/postgrest.cabal
+++ b/postgrest.cabal
@@ -92,7 +92,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