fix error message in verify markup

fixes #146
metamath · Oct 19, 2023 · 2763d74 · 2763d74
1 parent c9aea15
commit 2763d74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/verify_markup.rs b/src/verify_markup.rs
@@ -476,7 +476,7 @@ fn verify_markup_comment(
                     if temp_buffer.is_empty() {
                         diag(Diagnostic::EmptyLabel(i as u32))
                     } else if db.name_result().lookup_label(&temp_buffer).is_none() {
-                        diag(Diagnostic::UndefinedToken(sp, (&*temp_buffer).into()))
+                        diag(Diagnostic::UnknownLabel(sp))
                     }
                 }
             }