diff options
Diffstat (limited to 'third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java')
-rw-r--r-- | third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java index 9e3c27a7b9..3fd0faa475 100644 --- a/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java +++ b/third_party/checker_framework_javacutil/java/org/checkerframework/javacutil/ErrorHandler.java @@ -10,7 +10,7 @@ public interface ErrorHandler { /** * Log an error message and abort processing. * - * @param msg the error message to log + * @param msg The error message to log. */ public void errorAbort(String msg); |