1 files changed, 0 insertions, 20 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java
index 73a032e7..0daa6fa5 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.java
@@ -6,8 +6,6 @@ package ca.mcgill.ecse.dslreasoner.formatting2;
 import ca.mcgill.ecse.dslreasoner.services.VampireLanguageGrammarAccess;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;

 import com.google.inject.Inject;

 import java.util.Arrays;

@@ -27,25 +25,10 @@ public class VampireLanguageFormatter extends AbstractFormatter2 {
   private VampireLanguageGrammarAccess _vampireLanguageGrammarAccess;

   

   protected void _format(final VampireModel vampireModel, @Extension final IFormattableDocument document) {

-    EList<VLSInclude> _includes = vampireModel.getIncludes();

-    for (final VLSInclude vLSInclude : _includes) {

-      document.<VLSInclude>format(vLSInclude);

-    }

     EList<VLSComment> _comments = vampireModel.getComments();

     for (final VLSComment vLSComment : _comments) {

       document.<VLSComment>format(vLSComment);

     }

-    EList<VLSFofFormula> _formulas = vampireModel.getFormulas();

-    for (final VLSFofFormula vLSFofFormula : _formulas) {

-      document.<VLSFofFormula>format(vLSFofFormula);

-    }

-  }

-  

-  protected void _format(final VLSInclude vLSInclude, @Extension final IFormattableDocument document) {

-    EList<VLSName> _names = vLSInclude.getNames();

-    for (final VLSName vLSName : _names) {

-      document.<VLSName>format(vLSName);

-    }

   }

   

   protected void _format(final VLSFofFormula formula, @Extension final IFormattableDocument document) {

@@ -72,9 +55,6 @@ public class VampireLanguageFormatter extends AbstractFormatter2 {
     } else if (comment instanceof VLSFofFormula) {

       _format((VLSFofFormula)comment, document);

       return;

-    } else if (comment instanceof VLSInclude) {

-      _format((VLSInclude)comment, document);

-      return;

     } else if (comment instanceof VampireModel) {

       _format((VampireModel)comment, document);

       return;