1 files changed, 2 insertions, 6 deletions
diff --git a/GF.cabal b/GF.cabal
index 38e6d3227..533fff9ee 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -39,11 +39,6 @@ library
     GF.GFCC.Parsing.FCFG.Active
     GF.GFCC.Parsing.FCFG
     GF.GFCC.Raw.ConvertGFCC
-    GF.Command.LexGFShell
-    GF.Command.AbsGFShell
-    GF.Command.PrintGFShell
-    GF.Command.ParGFShell
-    GF.Command.PPrTree
     GF.Data.RedBlackSet
     GF.Data.GeneralDeduction
     GF.Data.Utilities
@@ -62,7 +57,8 @@ executable gf3
                  directory,
                  random,
                  old-time,
-                 process
+                 process,
+                 pretty
   if os(windows)
     build-depends: Win32
   else