From 4aee5bcc86b9e6b515fbbdac030df42147be7dc1 Mon Sep 17 00:00:00 2001
From: ArenBabikian <aren.babikian@mail.mcgill.ca>
Date: Sun, 8 Sep 2019 16:12:55 -0400
Subject: VAMPIRE: Implement wf constraint handling

---
 .../formatting2/.VampireLanguageFormatter.xtendbin    | Bin 3706 -> 3759 bytes
 .../formatting2/VampireLanguageFormatter.java         |   4 ++++
 2 files changed, 4 insertions(+)

(limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2')

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 2bd5f5f8..b3a43b5a 100644
Binary files a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin and b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/xtend-gen/ca/mcgill/ecse/dslreasoner/formatting2/.VampireLanguageFormatter.xtendbin differ
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) {
-- 
cgit v1.2.3-70-g09d2