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.
2025-07-08 18:37:14 +02:00
parent 73d335e976
commit d30abd99ae
1 changed files with 0 additions and 1 deletions
@@ -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