summaryrefslogtreecommitdiff
path: root/examples-3.0/tutorial
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-20 16:08:22 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-20 16:08:22 +0000
commitff5ddf447fa6eea6367e98e7af46736334ef3470 (patch)
treeddca7025f52f29e8a390a086eb7639d2d97f8cc9 /examples-3.0/tutorial
parent298c14046b4b92b6f7b74ab811707d60c73ce439 (diff)
added some words to complete resource test
Diffstat (limited to 'examples-3.0/tutorial')
-rw-r--r--examples-3.0/tutorial/semantics/Base.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples-3.0/tutorial/semantics/Base.gf b/examples-3.0/tutorial/semantics/Base.gf
index 4586c3106..85868d7ac 100644
--- a/examples-3.0/tutorial/semantics/Base.gf
+++ b/examples-3.0/tutorial/semantics/Base.gf
@@ -30,7 +30,7 @@ fun
-- lexicon
- UseInt : Int -> PN ;
+ UseInt : Int -> PN ;
Number : CN ;
Even, Odd, Prime : AP ;