diff options
Diffstat (limited to 'language-web/src/main/js/language/indentation.ts')
-rw-r--r-- | language-web/src/main/js/language/indentation.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/language/indentation.ts b/language-web/src/main/js/language/indentation.ts index b2f0134b..973b4a80 100644 --- a/language-web/src/main/js/language/indentation.ts +++ b/language-web/src/main/js/language/indentation.ts | |||
@@ -78,7 +78,7 @@ export function indentDeclaration(context: TreeIndentContext): number { | |||
78 | export function indentPredicate(context: TreeIndentContext): number { | 78 | export function indentPredicate(context: TreeIndentContext): number { |
79 | const clauseIndent = indentDeclarationStrategy(context, 1); | 79 | const clauseIndent = indentDeclarationStrategy(context, 1); |
80 | if (/^\s+(;|\.)/.exec(context.textAfter) !== null) { | 80 | if (/^\s+(;|\.)/.exec(context.textAfter) !== null) { |
81 | return clauseIndent - context.unit; | 81 | return clauseIndent - 2; |
82 | } | 82 | } |
83 | return clauseIndent; | 83 | return clauseIndent; |
84 | } | 84 | } |