From 168456e7a30062684b418e7944f62d0ed6ba01fb Mon Sep 17 00:00:00 2001
From: Ada Alakbarova <58857108+ada4a@users.noreply.github.com>
Date: Fri, 24 Jan 2025 14:12:17 +0100
Subject: [PATCH] fix(solve/significant-changes): typo

---
 src/solve/significant-changes.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solve/significant-changes.md b/src/solve/significant-changes.md
index c5bb8a01..c82b5d46 100644
--- a/src/solve/significant-changes.md
+++ b/src/solve/significant-changes.md
@@ -42,7 +42,7 @@ old implementation structurally relates the aliases instead. This enables the
 new solver to stall equality until it is able to normalize the related aliases.
 
 The behavior of the old solver is incomplete and relies on eager normalization
-which replaces ambiguous aliases with inference variables. As this is not
+which replaces ambiguous aliases with inference variables. As this is
 not possible for aliases containing bound variables, the old implementation does
 not handle aliases inside of binders correctly, e.g. [#102048]. See the chapter on
 [normalization] for more details.