From 009d80198571e24c3cb0a92d97a1f0ab61a4d6d2 Mon Sep 17 00:00:00 2001
From: Hadas <hadaszeilberger@gmail.com>
Date: Wed, 17 Jan 2024 17:06:44 -0500
Subject: [PATCH] clippy

---
 basic/tests/test_prover.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/basic/tests/test_prover.rs b/basic/tests/test_prover.rs
index c394eec6..9b6818f1 100644
--- a/basic/tests/test_prover.rs
+++ b/basic/tests/test_prover.rs
@@ -235,7 +235,10 @@ fn prove_fibonacci() {
 
     let mut challenger = Challenger::new(perm16);
     let out = machine.prove(&config, &mut challenger);
-    assert_eq!(out.chip_proof.proof.opened_values.trace_local.len() > 0, true);
+    assert_eq!(
+        out.chip_proof.proof.opened_values.trace_local.len() > 0,
+        true
+    );
     assert_eq!(machine.cpu().clock, 192);
     assert_eq!(machine.cpu().operations.len(), 192);
     assert_eq!(machine.mem().operations.values().flatten().count(), 401);