Update quint/src/effects/substitutions.ts

Co-authored-by: Thomas Pani <[email protected]>
informalsystems · Oct 4, 2023 · 355342d · 355342d
1 parent 8e1cc3c
commit 355342d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)
     }