time.rs: remove "Basic usage text" · model-checking/verify-rust-std@39aad04 (original) (raw)

Original file line number Diff line number Diff line change
@@ -617,8 +617,6 @@ impl Duration {
617 617 ///
618 618 /// # Examples
619 619 ///
620 - /// Basic usage:
621 - ///
622 620 /// ```
623 621 /// use std::time::Duration;
624 622 ///
@@ -640,8 +638,6 @@ impl Duration {
640 638 ///
641 639 /// # Examples
642 640 ///
643 - /// Basic usage:
644 - ///
645 641 /// ```
646 642 /// use std::time::Duration;
647 643 ///
@@ -700,8 +696,6 @@ impl Duration {
700 696 ///
701 697 /// # Examples
702 698 ///
703 - /// Basic usage:
704 - ///
705 699 /// ```
706 700 /// use std::time::Duration;
707 701 ///
@@ -758,8 +752,6 @@ impl Duration {
758 752 ///
759 753 /// # Examples
760 754 ///
761 - /// Basic usage:
762 - ///
763 755 /// ```
764 756 /// use std::time::Duration;
765 757 ///
@@ -814,8 +806,6 @@ impl Duration {
814 806 ///
815 807 /// # Examples
816 808 ///
817 - /// Basic usage:
818 - ///
819 809 /// ```
820 810 /// use std::time::Duration;
821 811 ///