From 6b246c6c2ba76d00ae49c3ad9fa445804a0a1cf8 Mon Sep 17 00:00:00 2001
From: GHA CI <gha@ci.invalid>
Date: Tue, 4 Jun 2024 18:33:42 +0000
Subject: [PATCH] Automatic deploy to GitHub Pages:
 46e33045f8de696df0a21d610322b95461c6920e

---
 master/lints.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/master/lints.json b/master/lints.json
index 34a2c187e717..5cfe0fca3456 100644
--- a/master/lints.json
+++ b/master/lints.json
@@ -3084,7 +3084,7 @@
     "id": "imprecise_flops",
     "id_span": {
       "path": "src/floating_point_arithmetic.rs",
-      "line": 44
+      "line": 45
     },
     "group": "nursery",
     "level": "allow",
@@ -8975,7 +8975,7 @@
     "id": "suboptimal_flops",
     "id_span": {
       "path": "src/floating_point_arithmetic.rs",
-      "line": 101
+      "line": 102
     },
     "group": "nursery",
     "level": "allow",