1 files changed, 4 insertions, 1 deletions

diff --git a/language-web/src/main/js/language/indentation.ts b/language-web/src/main/js/language/indentation.ts
index 973b4a80..78f0a750 100644
--- a/language-web/src/main/js/language/indentation.ts
+++ b/language-web/src/main/js/language/indentation.ts
@@ -75,10 +75,13 @@ export function indentDeclaration(context: TreeIndentContext): number {
   return indentDeclarationStrategy(context, 1);
 }
 
-export function indentPredicate(context: TreeIndentContext): number {
+export function indentPredicateOrRule(context: TreeIndentContext): number {
   const clauseIndent = indentDeclarationStrategy(context, 1);
   if (/^\s+(;|\.)/.exec(context.textAfter) !== null) {
     return clauseIndent - 2;
   }
+  if (/^\s+(~>)/.exec(context.textAfter) !== null) {
+    return clauseIndent - 3;
+  }
   return clauseIndent;
 }