summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-10-29 09:46:46 +0000
committerbjorn <bjorn@bringert.net>2008-10-29 09:46:46 +0000
commit97e1f27a0c7e03a397612c91968d84874c36f53a (patch)
tree3dead2553915677758f3040d567b57a384180249
parent79d3f7db863d71c4c5490efd35c0dc401c3c4617 (diff)
Replace PGF.Raw with PGF.Binary in the executable section of GF.cabal
-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