From abd9ddb16bdac338e3e5eaa6668a7127dd34380f Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Mon, 27 Apr 2020 17:42:10 -0300 Subject: [PATCH] Remove extra the --- src/diagnostics.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/diagnostics.md b/src/diagnostics.md index b77e4547..ab36e428 100644 --- a/src/diagnostics.md +++ b/src/diagnostics.md @@ -184,7 +184,7 @@ contexts: - shown as an independent sub-diagnostic (this is the default output) - shown as a label pointing at the affected span (this is done automatically if -the some heuristics for verbosity are met) +some heuristics for verbosity are met) - shown as a `help` sub-diagnostic with no content (used for cases where the suggestion is obvious from the text, but we still want to let tools to apply them))