diff --git a/kimchi/src/snarky/constraint_system.rs b/kimchi/src/snarky/constraint_system.rs
index 1b9e42e558..92f9cfe5a0 100644
--- a/kimchi/src/snarky/constraint_system.rs
+++ b/kimchi/src/snarky/constraint_system.rs
@@ -459,7 +459,7 @@ impl<Field: PrimeField> SnarkyConstraintSystem<Field> {
             Field::zero(),
         ];
         let mut public_gates = Vec::new();
-        for row in 0..(public_input_size - 1) {
+        for row in 0..public_input_size {
             let public_var = V::External(row + 1);
             self.wire_(public_var, Row::PublicInput(row), 0);
             public_gates.push(GateSpec {