summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-10-25 13:10:24 +0000
committerkrasimir <krasimir@chalmers.se>2009-10-25 13:10:24 +0000
commit116912647b4abcbce67452d622c45d41d23c17ef (patch)
tree7fa32880bec7272f55a0e8509fad650b655d05e5
parent8a0db597989642ed11b2fad8d272bb2778587ac5 (diff)
add GF.Compile.Concrete.TypeCheck in GF.cabal
-rw-r--r--GF.cabal1
1 files changed, 1 insertions, 0 deletions
diff --git a/GF.cabal b/GF.cabal
index 4c605c0d2..656f900c5 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -143,6 +143,7 @@ executable gf
GF.Compile.Rename
GF.Compile.ReadFiles
GF.Compile.GrammarToGFCC
+ GF.Compile.Concrete.TypeCheck
GF.Compile.Concrete.Compute
GF.Compile.Concrete.AppPredefined
GF.Compile.Abstract.TC