From 58d654f38fd17a829bda294efe7ab61d53d6f29b Mon Sep 17 00:00:00 2001 From: Yingchi Long Date: Fri, 2 Aug 2024 15:07:20 +0800 Subject: [PATCH] Update libnixf/src/Basic/diagnostic.py --- libnixf/src/Basic/diagnostic.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libnixf/src/Basic/diagnostic.py b/libnixf/src/Basic/diagnostic.py index 2880fc1b4..9da9d0135 100644 --- a/libnixf/src/Basic/diagnostic.py +++ b/libnixf/src/Basic/diagnostic.py @@ -187,7 +187,7 @@ class Diagnostic(TypedDict): "sname": "sema-unused-def-generic", "cname": "UnusedDef", "severity": "Warning", - "message": "undefined definition `{}`", + "message": "definition `{}` is not used", }, { "sname": "sema-unused-def-let",