diff options
Diffstat (limited to 'examples-3.0/tutorial')
| -rw-r--r-- | examples-3.0/tutorial/semantics/Base.gf | 2 |
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 ; |