summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2008-06-02 07:34:15 +0000
committerkrasimir <krasimir@chalmers.se>2008-06-02 07:34:15 +0000
commitcd6fa423a92fcab89d5bb5d7a1c651fd2d8845d8 (patch)
tree8c562b56d110975798d623e67a06e25c37fa3af4
parentbd7d0c7c5e62b1c008be9ce0d85e8d0592fec0eb (diff)
rename GF.Grammar.Refresh to GF.Compile.Refresh in .caba
-rw-r--r--GF.cabal2
1 files changed, 1 insertions, 1 deletions
diff --git a/GF.cabal b/GF.cabal
index aa7a3479a..d9320539c 100644
--- a/GF.cabal
+++ b/GF.cabal
@@ -111,7 +111,6 @@ executable gf3
GF.Grammar.PrGrammar
GF.Grammar.Macros
GF.Grammar.Lockfield
- GF.Grammar.Refresh
GF.Grammar.MMacros
GF.Grammar.Abstract
GF.Grammar.Lookup
@@ -125,6 +124,7 @@ executable gf3
GF.Grammar.AppPredefined
GF.Grammar.PatternMatch
GF.Compile.CheckGrammar
+ GF.Compile.Refresh
GF.Compile.BackOpt
GF.Compile.Extend
GF.Compile.Rename