diff options
Diffstat (limited to 'examples/translator/Translate.gf')
| -rw-r--r-- | examples/translator/Translate.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/translator/Translate.gf b/examples/translator/Translate.gf index 1495000b7..6efff161f 100644 --- a/examples/translator/Translate.gf +++ b/examples/translator/Translate.gf @@ -12,5 +12,5 @@ fun NP_Object : NP -> Object ; NP_Item : NP -> Item ; NP_Place : NP -> Place ; - + NP_Name : NP -> Name ; }
\ No newline at end of file |