mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-05 16:09:09 +00:00
1b90760ef4
Using a DiagnosticFlag to mark diagnostics that should be always printed even if multiple of them have the same source position. Reviewed-by: darcy, jjg, mcimadamore
5 lines
126 B
Plaintext
5 lines
126 B
Plaintext
AnchorTest2.java:15: error: anchor already defined: "AnchorTest2"
|
|
/** <a name="AnchorTest2"> </a> */
|
|
^
|
|
1 error
|