1 files changed, 4 insertions, 0 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 0daa6fa5..48b973e7 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
@@ -29,6 +29,10 @@ public class VampireLanguageFormatter extends AbstractFormatter2 {
     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 VLSFofFormula formula, @Extension final IFormattableDocument document) {