From ba3723670af4804fcc601b17246e08f3f159f993 Mon Sep 17 00:00:00 2001
From: Apprentice-Alchemist
 <53486764+Apprentice-Alchemist@users.noreply.github.com>
Date: Sat, 8 Jun 2024 20:18:17 +0200
Subject: [PATCH] Use structural equality in generic_substitute_type'.

---
 src/typing/generic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/typing/generic.ml b/src/typing/generic.ml
index 26b7087d6b9..ecdc5020093 100644
--- a/src/typing/generic.ml
+++ b/src/typing/generic.ml
@@ -91,7 +91,7 @@ let rec generic_substitute_type' gctx allow_expr t =
 		t
 	| _ ->
 		try
-			let t,eo = List.assq t gctx.subst in
+			let t,eo = List.assoc t gctx.subst in
 			(* Somewhat awkward: If we allow expression types, use the original KExpr one. This is so
 			   recursing into further KGeneric expands correctly. *)
 			begin match eo with