diff options
Diffstat (limited to 'interfaces/src/main')
-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 f94b08e9b..c46360afa 100644 --- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java +++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java @@ -17,9 +17,6 @@ public interface Diagnostic { /** @return The message to report */ String message(); - /** @return The explanation behind the message */ - String explanation(); - /** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */ int level(); |