diff --git a/src/cyclefold/nova_circuit.rs b/src/cyclefold/nova_circuit.rs
index 9972d513e..402bd56f6 100644
--- a/src/cyclefold/nova_circuit.rs
+++ b/src/cyclefold/nova_circuit.rs
@@ -669,7 +669,9 @@ mod test {
     );
     let mut cs: TestShapeCS<Dual<E>> = TestShapeCS::default();
 
-    let _ = circuit.synthesize(&mut cs);
+    let res = circuit.synthesize(&mut cs);
+
+    res.unwrap();
 
     let num_constraints = cs.num_constraints();
     let num_variables = cs.num_aux();