diff options
Diffstat (limited to 'examples/translator/TranslateEng.gf')
| -rw-r--r-- | examples/translator/TranslateEng.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/translator/TranslateEng.gf b/examples/translator/TranslateEng.gf index bfe16b263..22f09deef 100644 --- a/examples/translator/TranslateEng.gf +++ b/examples/translator/TranslateEng.gf @@ -1,4 +1,4 @@ ---# -path=.:alltenses:../phrasebook:../../lib/src/english +--# -path=.:../phrasebook:../../lib/src/english:../../lib/src/abstract concrete TranslateEng of Translate = ParseEng, PhrasebookEng ** open SyntaxEng, (E = ExtraEng), Prelude in { |
