package ca.mcgill.ecse.dslreasoner.vampire.icse;
@SuppressWarnings("all")
public class YakinduTest {
public static void main(final String[] args) {
throw new Error("Unresolved compilation problems:"
+ "\nThe method or field yakinduPackage is undefined"
+ "\neINSTANCE cannot be resolved");
}
}