Skip to content

Commit

Permalink
Merge branch 'main' into getamountout-summary
Browse files Browse the repository at this point in the history
  • Loading branch information
Robertorosmaninho authored Sep 19, 2024
2 parents c61031b + 50ab2f8 commit ab826f8
Show file tree
Hide file tree
Showing 5 changed files with 1,167 additions and 37 deletions.
2 changes: 1 addition & 1 deletion src/solidity.md
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,7 @@ module SOLIDITY
imports SOLIDITY-TRANSACTION
imports SOLIDITY-EXPRESSION
imports SOLIDITY-STATEMENT
imports SOLIDITY-UNISWAP-INIT-SUMMARY
imports SOLIDITY-UNISWAP-SUMMARIES
rule <k> _:PragmaDefinition Ss:SourceUnits => Ss ...</k>
<summarize> false </summarize>
Expand Down
Loading

0 comments on commit ab826f8

Please sign in to comment.