diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-03 07:11:30 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-03 07:11:30 +0000 |
| commit | e0071bc69c1fef54d5a99db6d43dc00375850f09 (patch) | |
| tree | f6ebdbebd2d2e6e96d4c7cb90a5c67d660a202bb /src/GF/Shell.hs | |
| parent | 6fc3bbd45794b78c3363060b9491459b414e3066 (diff) | |
generalized MakeOverload to TreeSelections
Diffstat (limited to 'src/GF/Shell.hs')
| -rw-r--r-- | src/GF/Shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs index 139a2ab07..e0b01f18f 100644 --- a/src/GF/Shell.hs +++ b/src/GF/Shell.hs @@ -30,7 +30,7 @@ import GF.Grammar.Values import GF.UseGrammar.GetTree import GF.UseGrammar.Generate (generateAll) ---- should be in API import GF.UseGrammar.Treebank -import GF.UseGrammar.MakeOverload (getOverloadResults) +import GF.UseGrammar.TreeSelections (getOverloadResults) import GF.Shell.ShellCommands |