X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fghc.cabal.in;h=c4be998be02637a1961f90d1c1f6f28dbbae0382;hp=4ffb915602696a29bd3b5353e4456c37f20a7673;hb=HEAD;hpb=7ed114cd6980f62e8473932dee2fc22dca1d2118

diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index 4ffb9156..c4be998 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -262,6 +262,7 @@ Library
         CoreTidy
         CoreUnfold
         CoreUtils
+        CoqPass
         ExternalCore
         MkCore
         MkExternalCore