diff options
Diffstat (limited to 'docs/adk15ProgGuideDB/grammar.xml')
| -rw-r--r-- | docs/adk15ProgGuideDB/grammar.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/adk15ProgGuideDB/grammar.xml b/docs/adk15ProgGuideDB/grammar.xml index 0f8320208..1de50b7bf 100644 --- a/docs/adk15ProgGuideDB/grammar.xml +++ b/docs/adk15ProgGuideDB/grammar.xml @@ -9,7 +9,7 @@ '!' TypePattern | '(' AnnotationPattern? TypePattern ')' TypePattern '&&' TypePattern | - TypePattern '||' TypePattern | + TypePattern '||' TypePattern SimpleTypePattern := DottedNamePattern '+'? '[]'* |