From 4aee5bcc86b9e6b515fbbdac030df42147be7dc1 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 8 Sep 2019 16:12:55 -0400 Subject: VAMPIRE: Implement wf constraint handling --- .../ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend') diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend index 4fc67b22..fe1c852f 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend @@ -23,9 +23,9 @@ class VampireLanguageFormatter extends AbstractFormatter2 { for (VLSComment vLSComment : vampireModel.getComments()) { vLSComment.format; } -// for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { -// vLSFofFormula.format; -// } + for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { + vLSFofFormula.format; + } } // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { -- cgit v1.2.3-54-g00ecf