package bugs;

@SuppressWarnings("javadoc")
public class VerifyComplianceMiniTambisTestCase extends VerifyComplianceBase {

    @Override
    protected String input() {
        return "/AF_miniTambis.owl.xml";
    }
}
