From f12e368d6767e79fa6ec98b79b73f26634f06f33 Mon Sep 17 00:00:00 2001 From: minaminao Date: Tue, 28 Mar 2023 22:55:09 +0900 Subject: [PATCH] Fix the missing dot --- docs/smtchecker.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst index 3ad700a30..b06e20c68 100644 --- a/docs/smtchecker.rst +++ b/docs/smtchecker.rst @@ -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