summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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