Skip to content

Commit

Permalink
fix smtlib unified address
Browse files Browse the repository at this point in the history
  • Loading branch information
daveroga committed Feb 21, 2025
1 parent 42afd61 commit 1f79043
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion helpers/constants.ts
Original file line number Diff line number Diff line change
Expand Up @@ -272,7 +272,7 @@ export const contractsInfo = Object.freeze({
},
SMT_LIB: {
name: "SmtLib",
unifiedAddress: "0x682364078e26C1626abD2B95109D2019E241F0F6",
unifiedAddress: "0x73C90d4FCD60bE62EeB810dC1504bA61dB7eDD32",
create2Calldata: "",
verificationOpts: {
constructorArgsImplementation: [],
Expand Down

0 comments on commit 1f79043

Please sign in to comment.