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

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