diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill')
-rw-r--r-- | Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend | 6 |
1 files changed, 3 insertions, 3 deletions
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 { | |||
23 | for (VLSComment vLSComment : vampireModel.getComments()) { | 23 | for (VLSComment vLSComment : vampireModel.getComments()) { |
24 | vLSComment.format; | 24 | vLSComment.format; |
25 | } | 25 | } |
26 | // for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { | 26 | for (VLSFofFormula vLSFofFormula : vampireModel.getFormulas()) { |
27 | // vLSFofFormula.format; | 27 | vLSFofFormula.format; |
28 | // } | 28 | } |
29 | } | 29 | } |
30 | 30 | ||
31 | // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { | 31 | // def dispatch void format(VLSInclude vLSInclude, extension IFormattableDocument document) { |