Fix 'missing contributor' error message

fixes #125
metamath · Sep 21, 2023 · f111a65 · f111a65
1 parent 7c7ac8c
commit f111a65
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/diag.rs b/src/diag.rs
@@ -712,7 +712,7 @@ impl Diagnostic {
                 stmt,
                 *marker,
             )]),
-            MissingContributor => ("No contribution comment".into(), vec![(
+            MissingContributor => ("Missing or malformed contribution comment".into(), vec![(
                 AnnotationType::Warning,
                 "No (Contributed by...) provided for this statement".into(),
                 stmt,