revert QualifiedIdent to old production

R=r
DELTA=1  (0 added, 0 deleted, 1 changed)
OCL=25732
CL=25777
This commit is contained in:
Robert Griesemer 2009-03-05 15:01:54 -08:00
parent 8a7eb77880
commit b813ee0e44
1 changed files with 1 additions and 1 deletions

View File

@ -1845,7 +1845,7 @@ A qualified identifier is an identifier qualified by a package name prefix.
</p> </p>
<pre class="grammar"> <pre class="grammar">
QualifiedIdent = [ [ LocalPackageName "." ] PackageName "." ] identifier . QualifiedIdent = [ ( LocalPackageName | PackageName ) "." ] identifier .
LocalPackageName = identifier . LocalPackageName = identifier .
PackageName = identifier . PackageName = identifier .
</pre> </pre>