Removed @Deprecated method

This commit is contained in:
Marcin Grzejszczak
2020-04-01 08:42:04 +02:00
parent 1d923ee0a1
commit 3cf2153f83

View File

@@ -121,10 +121,4 @@ public class JavaTestGenerator implements SingleTestGenerator {
// @formatter:on
}
@Deprecated
@Override
public String fileExtension(ContractVerifierConfigProperties properties) {
return properties.getTestFramework().getClassExtension();
}
}