cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix the missing dot

Browse Source
This commit is contained in:
minaminao 2023-03-28 22:55:09 +09:00
parent c5ae22db86
commit f12e368d67
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/smtchecker.rst
View File

@ -681,7 +681,7 @@ most derived type in case of inheritance.
}
Note that in function ``property_transfer``, the external calls are
performed on variable ``t``
performed on variable ``t``.
Another caveat of this mode are calls to state variables of contract type
outside the analyzed contract. In the code below, even though ``B`` deploys