X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fghc.cabal.in;h=0a567191fe9a985fce6116796b14b76f324ff63d;hp=c509eb625530ec174c9c1d8bf53e3d2ba63a87ef;hb=841e81e28f8cc711f624fdca122219a5bbde2fae;hpb=a52ff7619e8b7d74a9d933d922eeea49f580bca8

diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index c509eb6..0a56719 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -269,6 +269,7 @@ Library
         CoreTidy
         CoreUnfold
         CoreUtils
+        CoqPass
         ExternalCore
         MkCore
         MkExternalCore