pragma solidity ^0.5.0; import "../WithSemverError.sol"; contract ImportsBadSemver {}