chore: fix solidity pragma at 0.8.19

axiom-crypto · Nov 4, 2023 · e86f8df · e86f8df
1 parent 18a1dd5
commit e86f8df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/snark-verifier/src/loader/evm/code.rs b/snark-verifier/src/loader/evm/code.rs
@@ -21,7 +21,7 @@ impl SolidityAssemblyCode {
             "
 // SPDX-License-Identifier: MIT
 
-pragma solidity >=0.8.19 <0.8.21;
+pragma solidity 0.8.19;
 
 contract Halo2Verifier {{
     fallback(bytes calldata) external returns (bytes memory) {{