aboutsummaryrefslogtreecommitdiffstats
path: root/docs/control-structures.rst
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-03-16 20:22:10 +0800
committerGitHub <noreply@github.com>2017-03-16 20:22:10 +0800
commite34a9600f27f7b48fb2473db6bc45377190301b0 (patch)
tree9c35db82330f00dfa36a045a2e4c7f4ebec1df36 /docs/control-structures.rst
parent6ecfcbb686516690e02e26ef248c842e1de81528 (diff)
parentb053b6164e3104413cd0d4ce301f56a0914757cc (diff)
downloaddexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar.gz
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar.bz2
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar.lz
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar.xz
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.tar.zst
dexon-solidity-e34a9600f27f7b48fb2473db6bc45377190301b0.zip
Merge pull request #1791 from ethereum/docs-fixes
Mostly typo fixes in the documentation
Diffstat (limited to 'docs/control-structures.rst')
-rw-r--r--docs/control-structures.rst3
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/control-structures.rst b/docs/control-structures.rst
index 25bf203b..a3af41dd 100644
--- a/docs/control-structures.rst
+++ b/docs/control-structures.rst
@@ -399,6 +399,7 @@ Currently, Solidity automatically generates a runtime exception in the following
#. If you call ``assert`` with an argument that evaluates to false.
While a user-provided exception is generated in the following situations:
+
#. Calling ``throw``.
#. Calling ``require`` with an argument that evaluates to ``false``.
@@ -411,4 +412,4 @@ did not occur. Because we want to retain the atomicity of transactions, the safe
If contracts are written so that ``assert`` is only used to test internal conditions and ``require``
is used in case of malformed input, a formal analysis tool that verifies that the invalid
-opcode can never be reached can be used to check for the absence of errors assuming valid inputs. \ No newline at end of file
+opcode can never be reached can be used to check for the absence of errors assuming valid inputs.