diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend index 28797bc4..2fe82e0c 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language/src/hu/bme/mit/inf/dslreasoner/formatting/AlloyLanguageFormatter.xtend | |||
@@ -86,8 +86,8 @@ class AlloyLanguageFormatter extends AbstractDeclarativeFormatter { | |||
86 | // c.setLinewrap.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6) | 86 | // c.setLinewrap.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6) |
87 | // c.setIndentationDecrement.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6) | 87 | // c.setIndentationDecrement.before(ALSPreficedAccess.rightCurlyBracketKeyword_5_6) |
88 | 88 | ||
89 | c.setNoSpace.after(ALSBasicRelationTermAccess.leftParenthesisKeyword_6_0) | 89 | c.setNoSpace.after(ALSBasicRelationTermAccess.leftParenthesisKeyword_8_0) |
90 | c.setNoSpace.before(ALSBasicRelationTermAccess.rightParenthesisKeyword_6_2) | 90 | c.setNoSpace.before(ALSBasicRelationTermAccess.rightParenthesisKeyword_8_2) |
91 | 91 | ||
92 | // Quantified expression | 92 | // Quantified expression |
93 | c.setNoSpace.before(ALSQuantifiedAccess.commaKeyword_0_4_0) | 93 | c.setNoSpace.before(ALSQuantifiedAccess.commaKeyword_0_4_0) |