diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/computer/Computer.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/computer/Computer.gf b/examples/computer/Computer.gf index 5138b09b7..1460d47e9 100644 --- a/examples/computer/Computer.gf +++ b/examples/computer/Computer.gf @@ -123,7 +123,7 @@ flags startcat = Text ; fun TextS : S -> Text ; -- with . TextQS : QS -> Text ; -- with ? - TextImp : VP -> Text ; -- with ! +-- TextImp : VP -> Text ; -- with ! ComplV2 : V2 -> NP -> VP ; ModCN : AP -> CN -> CN ; |