2 files changed, 10 insertions, 0 deletions

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin
index c21238ee..47a395a0 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin
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 c439bbdb..73a032e7 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
@@ -15,8 +15,10 @@ import org.eclipse.emf.common.util.EList;
 import org.eclipse.emf.ecore.EObject;

 import org.eclipse.xtext.formatting2.AbstractFormatter2;

 import org.eclipse.xtext.formatting2.IFormattableDocument;

+import org.eclipse.xtext.formatting2.IHiddenRegionFormatter;

 import org.eclipse.xtext.resource.XtextResource;

 import org.eclipse.xtext.xbase.lib.Extension;

+import org.eclipse.xtext.xbase.lib.Procedures.Procedure1;

 

 @SuppressWarnings("all")

 public class VampireLanguageFormatter extends AbstractFormatter2 {

@@ -47,9 +49,17 @@ public class VampireLanguageFormatter extends AbstractFormatter2 {
   }

   

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

+    final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> {

+      it.newLine();

+    };

+    document.<VLSFofFormula>append(formula, _function);

   }

   

   protected void _format(final VLSComment comment, @Extension final IFormattableDocument document) {

+    final Procedure1<IHiddenRegionFormatter> _function = (IHiddenRegionFormatter it) -> {

+      it.newLine();

+    };

+    document.<VLSComment>append(comment, _function);

   }

   

   public void format(final Object comment, final IFormattableDocument document) {