1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/frontend/src/language/indentation.ts b/subprojects/frontend/src/language/indentation.ts
index 55dcd7f1..1c38637f 100644
--- a/subprojects/frontend/src/language/indentation.ts
+++ b/subprojects/frontend/src/language/indentation.ts
@@ -80,8 +80,8 @@ export function indentPredicateOrRule(context: TreeIndentContext): number {
   if (/^\s+[;.]/.exec(context.textAfter) !== null) {
     return clauseIndent - 2;
   }
-  if (/^\s+(~>)/.exec(context.textAfter) !== null) {
-    return clauseIndent - 3;
+  if (/^\s+(==>)/.exec(context.textAfter) !== null) {
+    return clauseIndent - 4;
   }
   return clauseIndent;
 }