VerifyComplianceMiniTambis.java

package bugs;

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

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