diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src/ca/mcgill/ecse/dslreasoner/formatting2/VampireLanguageFormatter.xtend')
| -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) { |