Merge pull request #10081 from erik-krogh/desugar

add desugered to the typo database
This commit is contained in:
Mathias Vorreiter Pedersen
2022-08-17 13:56:59 +01:00
committed by GitHub
2 changed files with 4 additions and 0 deletions

View File

@@ -2543,6 +2543,8 @@ predicate typos(string wrong, string right) {
or
wrong = "destory" and right = "destroy"
or
wrong = "desugered" and right = "desugared"
or
wrong = "detailled" and right = "detailed"
or
wrong = "detatched" and right = "detached"

View File

@@ -2543,6 +2543,8 @@ predicate typos(string wrong, string right) {
or
wrong = "destory" and right = "destroy"
or
wrong = "desugered" and right = "desugared"
or
wrong = "detailled" and right = "detailed"
or
wrong = "detatched" and right = "detached"