From 310a35185a6ffc32219dbf3553e0934bffa705ea Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Wed, 14 Jul 2021 19:05:42 +0200 Subject: [PATCH] docs: Fix some mislabeled bash and text blocks --- docs/smtchecker.rst | 8 ++++---- docs/using-the-compiler.rst | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/smtchecker.rst b/docs/smtchecker.rst index db0522bbd..f5087d553 100644 --- a/docs/smtchecker.rst +++ b/docs/smtchecker.rst @@ -97,7 +97,7 @@ The SMTChecker will, by default, check every reachable arithmetic operation in the contract for potential underflow and overflow. Here, it reports the following: -.. code-block:: bash +.. code-block:: text Warning: CHC: Overflow (resulting value larger than 2**256 - 1) happens here. Counterexample: @@ -233,7 +233,7 @@ For example, changing the code to gives us: -.. code-block:: bash +.. code-block:: text Warning: CHC: Assertion violation happens here. Counterexample: @@ -323,7 +323,7 @@ reachable, by adding the following function. This property is false, and while proving that the property is false, the SMTChecker tells us exactly *how* to reach (2, 4): -.. code-block:: bash +.. code-block:: text Warning: CHC: Assertion violation happens here. Counterexample: @@ -410,7 +410,7 @@ If we "forget" to use the ``mutex`` modifier on function ``set``, the SMTChecker is able to synthesize the behavior of the externally called code so that the assertion fails: -.. code-block:: bash +.. code-block:: text Warning: CHC: Assertion violation happens here. Counterexample: diff --git a/docs/using-the-compiler.rst b/docs/using-the-compiler.rst index 97c0e7542..9ae6b15c9 100644 --- a/docs/using-the-compiler.rst +++ b/docs/using-the-compiler.rst @@ -779,9 +779,9 @@ Running the Upgrade It is recommended to explicitly specify the upgrade modules by using ``--modules`` argument. -.. code-block:: none +.. code-block:: bash - $ solidity-upgrade --modules constructor-visibility,now,dotsyntax Source.sol + solidity-upgrade --modules constructor-visibility,now,dotsyntax Source.sol The command above applies all changes as shown below. Please review them carefully (the pragmas will have to be updated manually.)