summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--GF.cabal5
1 files changed, 1 insertions, 4 deletions
diff --git a/GF.cabal b/GF.cabal
index fa2e7708e..c37f6e7d1 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -696,10 +696,7 @@ executable gf
PGF.Parsing.FCFG.Utilities
PGF.Parsing.FCFG.Active
PGF.Parsing.FCFG
- PGF.Raw.Parse
- PGF.Raw.Print
- PGF.Raw.Convert
- PGF.Raw.Abstract
+ PGF.Binary
PGF.AbsCompute
PGF.Paraphrase
PGF.TypeCheck