diff options
Diffstat (limited to 'examples/phrasebook/DiffPhrasebook.gf')
| -rw-r--r-- | examples/phrasebook/DiffPhrasebook.gf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/examples/phrasebook/DiffPhrasebook.gf b/examples/phrasebook/DiffPhrasebook.gf index 8be58bb7e..27076323b 100644 --- a/examples/phrasebook/DiffPhrasebook.gf +++ b/examples/phrasebook/DiffPhrasebook.gf @@ -3,6 +3,7 @@ interface DiffPhrasebook = open Syntax in { oper want_V2 : V2 ; like_V2 : V2 ; - + cost_V2 : V2 ; -- it costs five euros + cost_V : V ; -- how much does it cost } |