gen verifier for agg cirguit

ChainSafe · Dec 4, 2023 · b448f22 · b448f22
1 parent 19ba5b5
commit b448f22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prover/src/cli.rs b/prover/src/cli.rs
@@ -112,7 +112,7 @@ where
                     Ok(())
                 }
                 OperationCmd::GenVerifier(args) => {
-                    gen_evm_verifier::<StepCircuit<S, Fr>>(&params, &pk_path, args.solidity_out)
+                    gen_evm_verifier::<AggregationCircuit>(&params, &pk_path, args.solidity_out)
                 }
             }
         }