diff options
Diffstat (limited to 'examples/animals/QuestionsI.gfe')
| -rw-r--r-- | examples/animals/QuestionsI.gfe | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/animals/QuestionsI.gfe b/examples/animals/QuestionsI.gfe index 7f847dfc7..ea8515c25 100644 --- a/examples/animals/QuestionsI.gfe +++ b/examples/animals/QuestionsI.gfe @@ -1,4 +1,5 @@ --- to compile: echo "eb -probs=probs -api -file=QuestionsI.gfe" | gf $GF_LIB_PATH/present/LangEng.gfo +-- to compile: +-- echo "eb -probs=probs -api -file=QuestionsI.gfe" | gf $GF_LIB_PATH/present/LangEng.gfo -- or use directly gf <mkAnimals.gfs incomplete concrete QuestionsI of Questions = open Syntax in { |