change prop name

6 years ago · 9f172ed7fb
parent ef470915df
commit 9f172ed7fb
1 changed files with 1 additions and 1 deletions
--- a/examples/solidity/basic/nearbyMining.sol
+++ b/examples/solidity/basic/nearbyMining.sol
@ -5,7 +5,7 @@ contract nearbyMining {
    n = newn;
  }
  
-  function echidna_nearbyMining() public returns (bool) {
+  function echidna_findNearby() public returns (bool) {
    if (n <= 181888880989308019) {
      return true;
    }