summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-10-15 09:05:37 +0000
committerbjorn <bjorn@bringert.net>2008-10-15 09:05:37 +0000
commitdc2d0f0df4e7ae162c48c8879faa88392404c2e1 (patch)
tree6cec12bbae937c8efad42eb68f8a7888ae3ccf34
parente36d70d483be19ed3c72a91c8440084d276e1244 (diff)
Added PGF.TypeCheck to .cabal.
-rw-r--r--GF.cabal2
1 files changed, 2 insertions, 0 deletions
diff --git a/GF.cabal b/GF.cabal
index 204098a1a..93dce4551 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -580,6 +580,7 @@ library
PGF.Raw.Abstract
PGF.AbsCompute
PGF.Paraphrase
+ PGF.TypeCheck
GF.Data.MultiMap
GF.Data.Utilities
GF.Data.SortedList
@@ -695,6 +696,7 @@ executable gf
PGF.Raw.Abstract
PGF.AbsCompute
PGF.Paraphrase
+ PGF.TypeCheck
GFC
GFI