diff --git a/test/EchidnaTestRaces.t.sol b/test/EchidnaTestRaces.t.sol index 2b1fa34..4f5b3a1 100644 --- a/test/EchidnaTestRaces.t.sol +++ b/test/EchidnaTestRaces.t.sol @@ -130,3 +130,5 @@ contract EchidnaTestRaces { return current == root; } } + +