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