Remove PropertyRepro.sol pragma

Author: gustavo-grieco

tests/solidity/foundry/PropertyRepro.sol

@@ -1,5 +1,4 @@
 // SPDX-License-Identifier: MIT
-pragma solidity ^0.8.0;
 
 contract PropertyRepro {
     uint256 public counter;