Add Paths_agda2hs to autogen-modules

agda · Oct 12, 2023 · c2c5c37 · c2c5c37
1 parent c75cd75
commit c2c5c37
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/agda2hs.cabal b/agda2hs.cabal
@@ -84,6 +84,7 @@ executable agda2hs-mode
   hs-source-dirs:      src/agda2hs-mode
   main-is:             Main.hs
   other-modules:       Paths_agda2hs
+  autogen-modules:     Paths_agda2hs
   build-depends:       base >= 4.10 && < 4.18,
                        Agda >= 2.6.4 && < 2.6.5,
                        bytestring >= 0.11.5 && < 0.12,