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");
  }
}