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 16:36:42 +00:00
parent 01c23a8124
commit b28df988ef
1 changed files with 0 additions and 1 deletions
@@ -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