From 58d3b872f8420efb70229f329d2ea7ed25a1de0d Mon Sep 17 00:00:00 2001
From: Leo Alt <leo@ethereum.org>
Date: Thu, 14 Sep 2023 14:57:22 +0200
Subject: [PATCH] fix snark verifier

---
 halo2/src/aggregation.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/halo2/src/aggregation.rs b/halo2/src/aggregation.rs
index 95a44cf4f..99ba13a94 100644
--- a/halo2/src/aggregation.rs
+++ b/halo2/src/aggregation.rs
@@ -387,7 +387,7 @@ pub fn gen_aggregation_evm_verifier(
     let proof = PlonkVerifier::read_proof(&vk, &protocol, &instances, &mut transcript).unwrap();
     PlonkVerifier::verify(&vk, &protocol, &instances, &proof).unwrap();
 
-    evm::compile_yul(&loader.yul_code())
+    evm::compile_solidity(&loader.solidity_code())
 }
 
 pub fn evm_verify(deployment_code: Vec<u8>, instances: Vec<Vec<Fr>>, proof: &[u8]) {