From 9a4f27056cbcfb21c84e97494394dba16bee2f2d Mon Sep 17 00:00:00 2001
From: Jack Grigg <jack@electriccoin.co>
Date: Tue, 24 Nov 2020 17:56:33 +0000
Subject: [PATCH] Fix clippy lint in metrics model doctest

---
 src/model.rs | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/model.rs b/src/model.rs
index c979bce..1bbdc8c 100644
--- a/src/model.rs
+++ b/src/model.rs
@@ -14,14 +14,15 @@ use metrics::{Key, Recorder, Unit};
 /// ```
 /// use halo2::model::ModelRecorder;
 ///
-/// fn main() {
-///     let recorder = Box::leak(Box::new(ModelRecorder::default()));
-///     metrics::set_recorder(recorder).unwrap();
+/// let recorder = Box::leak(Box::new(ModelRecorder::default()));
+/// metrics::set_recorder(recorder).unwrap();
 ///
-///     // Create circuit, build and/or verify proof.
+/// // Create circuit, build and/or verify proof.
 ///
-///     println!("{}", recorder);
-/// }
+/// println!("{}", recorder);
+/// recorder.clear();
+///
+/// // Perform another operation to collect separate metrics.
 /// ```
 #[derive(Debug)]
 pub struct ModelRecorder {