package ca.mcgill.ecse.dslreasoner.vampire.icse;

@SuppressWarnings("all")
public class EcoreTest {
  public static void main(final String[] args) {
    throw new Error("Unresolved compilation problems:"
      + "\nInvalid number of arguments. The method solve(LogicProblem, LogicSolverConfiguration, ReasonerWorkspace) is not applicable for the arguments (LogicProblem,VampireSolverConfiguration,FileSystemWorkspace,String)");
  }
}