Update acts.md

Co-Authored-By: asymmetric <[email protected]>
dapphub · Feb 10, 2020 · cba5127 · cba5127
1 parent edcd218
commit cba5127
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/acts.md b/acts.md
@@ -79,7 +79,7 @@ storage
 
 An `act` that does not specify any storage updates (i.e. the storage block contains no `=>` arrows) will generate a `K` reachability claim where the value of the `<static>` cell is set to `_`. Conversely, an `act` with a storage block containing at least one `=>` will have the `<static>` cell in the resulting reachability claim set to `false`.
 
-When running `klab prove`, the `<static>` cell will set to `true` during a `STATICCALL` and `false` otherwise.
+When running `klab prove`, the `<static>` cell will be set to `true` during a `STATICCALL` and to `false` otherwise.
 
 ## Example: Token
 Now we are ready to verify a (simplified) ERC20 token: