1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/frontend/src/language/indentation.ts b/subprojects/frontend/src/language/indentation.ts
index b49d6563..a0f7032d 100644
--- a/subprojects/frontend/src/language/indentation.ts
+++ b/subprojects/frontend/src/language/indentation.ts
@@ -78,7 +78,7 @@ export function indentDeclaration(context: TreeIndentContext): number {
 
 export function indentPredicateOrRule(context: TreeIndentContext): number {
   const clauseIndent = indentDeclarationStrategy(context, 1);
-  if (/^\s+(?:==>|[;.])/.exec(context.textAfter) !== null) {
+  if (/^\s+(?:->|==>|[;.])/.exec(context.textAfter) !== null) {
     return clauseIndent - context.unit;
   }
   return clauseIndent;