From a6931d4555de46940ebb223196c18949ace5aa7f Mon Sep 17 00:00:00 2001 From: Sebastien La Duca Date: Wed, 27 Jul 2022 23:53:33 -0400 Subject: [PATCH] fmt --- plonky2/src/util/timing.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/plonky2/src/util/timing.rs b/plonky2/src/util/timing.rs index 70f34306..d16ceead 100644 --- a/plonky2/src/util/timing.rs +++ b/plonky2/src/util/timing.rs @@ -145,7 +145,10 @@ impl TimingTree { #[cfg(not(feature = "timing"))] pub fn print(&self) { - log!(self.0, "TimingTree is not supported without the 'timing' feature enabled"); + log!( + self.0, + "TimingTree is not supported without the 'timing' feature enabled" + ); } #[cfg(feature = "timing")]