Merge pull request #13 from Jabe03/remove-old-frontend

Removed references to old_frontend option

Author: daniel-larraz

src/main/java/edu/uiowa/cs/clc/kind2/api/Kind2Api.java

@@ -98,7 +98,6 @@ public class Kind2Api {
   private Boolean logInvs;
   private Boolean dumpCex;
   private Float timeout;
-  private Boolean oldFrontend;
   private Boolean onlyParse;
   private Boolean lsp;
   private Set<Module> enabledSet;
@@ -627,10 +626,6 @@ public List<String> getOptions() {
       options.add("--timeout");
       options.add(timeout.toString());
     }
-    if (oldFrontend != null) {
-      options.add("--old_frontend");
-      options.add(oldFrontend.toString());
-    }
     if (onlyParse != null) {
       options.add("--only_parse");
       options.add(onlyParse.toString());
@@ -1291,17 +1286,6 @@ public void setTimeout(float timeout) {
     this.timeout = timeout;
   }
 
-  /**
-   * Use the old Lustre front-end.
-   * <p>
-   * Default: true
-   *
-   * @param oldFrontend whether or not to use the old Lustre front-end.
-   */
-  public void setOldFrontend(boolean oldFrontend) {
-    this.oldFrontend = oldFrontend;
-  }
-
   /**
    * Only parse the Lustre program. No analysis is performed
    * <p>