PR# 17580 Pretty printing class that uses obsolete syntax "indexing" reports syntax error

Problem Report Summary
Submitter: prestoat2000
Category: Compiler
Priority: Medium
Date: 2011/05/30
Class: Bug
Severity: Non-critical
Number: 17580
Release: 6.8.86542
Confidential: No
Status: Open
Responsible:
Environment: Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.1.8) Gecko/20100226 Firefox/3.5.8
Synopsis: Pretty printing class that uses obsolete syntax "indexing" reports syntax error

Description
Trying to pretty print a class that uses the obsolete keyword "indexing"
(instead of "note") causes ec to report a syntax error.  Other obsolete 
syntax, such as "!!" is accepted, so I assume this is a bug.
To Reproduce
Run ec -pretty on attached class.
Problem Report Interactions
From:prestoat2000    Date:2011/05/30    Download   
Attachments for problem report #17580

Attachment: test.e     Size:105