From 309cfc9f8c639b562670e3abb662cff8ba4b336b Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Fri, 27 Sep 2024 09:39:33 -0700
Subject: [PATCH] Resolve empty_line_after_doc_comments clippy lint in lexical

    warning: empty line after doc comment
       --> tests/../src/lexical/math.rs:277:5
        |
    277 | /     /// ADDITION
    278 | |
        | |_
    ...
    284 |       pub fn iadd_impl(x: &mut Vec<Limb>, y: Limb, xstart: usize) {
        |       ----------------------------------------------------------- the comment documents this function
        |
        = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#empty_line_after_doc_comments
        = note: `-W clippy::empty-line-after-doc-comments` implied by `-W clippy::all`
        = help: to override `-W clippy::all` add `#[allow(clippy::empty_line_after_doc_comments)]`
        = help: if the empty line is unintentional remove it
    help: if the documentation should include the empty line include it in the comment
        |
    278 |     ///
        |
---
 src/lexical/math.rs | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/lexical/math.rs b/src/lexical/math.rs
index adacb42e1..2e900f1a1 100644
--- a/src/lexical/math.rs
+++ b/src/lexical/math.rs
@@ -272,9 +272,7 @@ mod scalar {
 mod small {
     use super::*;
 
-    // MULTIPLICATIION
-
-    /// ADDITION
+    // ADDITION
 
     /// Implied AddAssign implementation for adding a small integer to bigint.
     ///