fix: example

sota-zk-labs · May 15, 2024 · 07e3551 · 07e3551
1 parent 2500a07
commit 07e3551
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/fri/examples/example.rs b/fri/examples/example.rs
@@ -23,8 +23,6 @@ fn main() {
     println!("Verify....");
     let result = verify(proof);
 
-    if result.is_ok() {
-        println!("Accepted!");
-    }
     assert!(result.is_ok());
+    println!("Accepted!");
 }