X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fghc.cabal.in;h=8a9877513f3f6d5ba51b85a502a89e02d02db402;hp=b3d9f0cd2a442716d4a7d7729f85e15ec4da2df7;hb=b2524b3960999fffdb3767900f58825903f6560f;hpb=3a0a91b41c5b6ad347711f054feb10c20a6b2f77

diff --git a/compiler/ghc.cabal.in b/compiler/ghc.cabal.in
index b3d9f0c..8a98775 100644
--- a/compiler/ghc.cabal.in
+++ b/compiler/ghc.cabal.in
@@ -261,6 +261,7 @@ Library
         CoreTidy
         CoreUnfold
         CoreUtils
+        CoqPass
         ExternalCore
         MkCore
         MkExternalCore