From 355342d04bc69b842b475e124d651dca5d4e7d12 Mon Sep 17 00:00:00 2001
From: Gabriela Moreira <gabrielamoreira05@gmail.com>
Date: Wed, 4 Oct 2023 09:11:37 -0300
Subject: [PATCH] Update quint/src/effects/substitutions.ts

Co-authored-by: Thomas Pani <thomas@informal.systems>
---
 quint/src/effects/substitutions.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quint/src/effects/substitutions.ts b/quint/src/effects/substitutions.ts
index 4e600dc2e..ff19d1cac 100644
--- a/quint/src/effects/substitutions.ts
+++ b/quint/src/effects/substitutions.ts
@@ -89,7 +89,7 @@ export function applySubstitution(subs: Substitutions, e: Effect): Either<ErrorT
 
   return result.map(simplify).chain(r => {
     if (!isEqual(r, e)) {
-      // Keep reaplying the substitutions until the effect is unchanged.
+      // Keep re-applying the substitutions until the effect is unchanged.
       // Useful when substitutions have a transitive pattern [ a |-> b, b |-> c ]
       return applySubstitution(subs, r)
     }