1 files changed, 5 insertions, 3 deletions
diff --git a/zkvms/sp1/host/src/main.rs b/zkvms/sp1/host/src/main.rs
index 19d88a3..50e9d1a 100644
--- a/zkvms/sp1/host/src/main.rs
+++ b/zkvms/sp1/host/src/main.rs
@@ -40,12 +40,14 @@ fn main() {
             let _ = prove(&client, stdin.clone());
             println!("Successfully generated proof!");
         },
-        Verify => benchmarkable!{
+        Verify => {
             let (proof, vk) = prove(&client, stdin.clone());
             println!("Successfully generated proof!");
 
-            client.verify(&proof, &vk).expect("failed to verify proof");
-            println!("Successfully verified proof!");
+            benchmarkable!{
+                client.verify(&proof, &vk).expect("failed to verify proof");
+                println!("Successfully verified proof!");
+            }
         },
     }
 }