diff options
Diffstat (limited to 'third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java')
-rw-r--r-- | third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java index 309f1bb4ee..072e1a1031 100644 --- a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java +++ b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorReporter.java @@ -21,7 +21,7 @@ public class ErrorReporter { * Log an error message and abort processing. * Call this method instead of raising an exception. * - * @param msg the error message to log + * @param msg The error message to log. */ public static void errorAbort(String msg) { if (handler != null) { |