diff options
Diffstat (limited to 'interfaces/src/main/java')
-rw-r--r-- | interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java index e62c1193e..f94b08e9b 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java @@ -14,9 +14,6 @@ public interface Diagnostic { public static final int WARNING = 1; public static final int INFO = 0; - /** @return The kind of message being reported */ - String kind(); - /** @return The message to report */ String message(); |