aboutsummaryrefslogtreecommitdiff
path: root/verify-hs.cabal
diff options
context:
space:
mode:
Diffstat (limited to 'verify-hs.cabal')
-rw-r--r--verify-hs.cabal1
1 files changed, 1 insertions, 0 deletions
diff --git a/verify-hs.cabal b/verify-hs.cabal
index 68dec3d..08c69fb 100644
--- a/verify-hs.cabal
+++ b/verify-hs.cabal
@@ -18,6 +18,7 @@ executable verify-hs
Haskell.Env.Context
Haskell.Parser
Haskell.Rewrite
+ Haskell.TypeCheck
Pretty
Util
build-depends: