diff --git a/pilopt/tests/optimizer.rs b/pilopt/tests/optimizer.rs
index b080e1ccd0..5b66e79b80 100644
--- a/pilopt/tests/optimizer.rs
+++ b/pilopt/tests/optimizer.rs
@@ -291,6 +291,7 @@ fn handle_array_references_in_prover_functions() {
     
     // non-trivial constraint so that `x[0]` does not get removed.
     x[0]' = x[0] + 1;
+
     {
         let intermediate = x[0] + 1;
         query |i| {