summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--script/proto/diagnostic.lua1
1 files changed, 0 insertions, 1 deletions
diff --git a/script/proto/diagnostic.lua b/script/proto/diagnostic.lua
index dc550fac..9b0303cc 100644
--- a/script/proto/diagnostic.lua
+++ b/script/proto/diagnostic.lua
@@ -93,7 +93,6 @@ m.register {
'duplicate-doc-field',
'unknown-diag-code',
'unknown-cast-variable',
- 'cast-type-mismatch',
'unknown-operator',
} {
group = 'luadoc',