Merge pull request #5732 from ethereum/pragma-update

[DOCS] Update non-existent pragma 0.4.99 to 0.5.0

1 files changed, 7 insertions, 7 deletions

diff --git a/docs/contracts.rst b/docs/contracts.rst
index c9adb03b..6d31ad82 100644
--- a/docs/contracts.rst
+++ b/docs/contracts.rst
@@ -343,7 +343,7 @@ inheritable properties of contracts and may be overridden by derived contracts.
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract owned {
         constructor() public { owner = msg.sender; }
@@ -585,7 +585,7 @@ The following statements are considered modifying the state:
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract C {
         function f(uint a, uint b) public view returns (uint) {
@@ -630,7 +630,7 @@ In addition to the list of state modifying statements explained above, the follo
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract C {
         function f(uint a, uint b) public pure returns (uint) {
@@ -724,7 +724,7 @@ Like any function, the fallback function can execute complex operations as long
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract Test {
         // This function is called for all messages sent to
@@ -1029,7 +1029,7 @@ Details are given in the following example.
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract owned {
         constructor() public { owner = msg.sender; }
@@ -1194,7 +1194,7 @@ equivalent to ``constructor() public {}``. For example:
 
 ::
 
-    pragma solidity >0.4.99 <0.6.0;
+    pragma solidity ^0.5.0;
 
     contract A {
         uint public a;
@@ -1373,7 +1373,7 @@ Interfaces are denoted by their own keyword:
 
 ::
 
-    pragma solidity >=0.5.0 <0.6.0;
+    pragma solidity ^0.5.0;
 
     interface Token {
         enum TokenType { Fungible, NonFungible }