Merge #3353

[rust.git] / util / update_lints.py

diff --git a/util/update_lints.py b/util/update_lints.py
index 2e1bd98050d003b48b74fd11b0f9040fe128f6b8..221069d353cb3093063b1b0eefc60b46435475e4 100755 (executable)
--- a/util/update_lints.py
+++ b/util/update_lints.py
@@ -240,7 +240,7 @@ def main(print_only=False, check=False):
 
     # same for "deprecated" lint collection
     changed |= replace_region(
-        'clippy_lints/src/lib.rs', r'let mut store', r'end deprecated lints',
+        'clippy_lints/src/lib.rs', r'begin deprecated lints', r'end deprecated lints',
         lambda: gen_deprecated(deprecated_lints),
         replace_start=False,
         write_back=not check)