Remove first empty line of doc comment

tbu- · tbu- · commit 208de46f8b7c · 2016-06-19T18:52:33.000+02:00
diff --git a/src/libcore/iter/traits.rs b/src/libcore/iter/traits.rs
@@ -520,7 +520,6 @@ pub trait ExactSizeIterator: Iterator {
         lower
     }
 
-    ///
     /// Returns whether the iterator is empty.
     ///
     /// This method has a default implementation using `self.len()`, so you

Original file line number	Diff line number	Diff line change
`@@ -520,7 +520,6 @@ pub trait ExactSizeIterator: Iterator {`
`520`	`520`	`lower`
`521`	`521`	`}`
`522`	`522`
`523`		`- ///`
`524`	`523`	`/// Returns whether the iterator is empty.`
`525`	`524`	`///`
`526`	`525`	/// This method has a default implementation using `self.len()`, so you