From d33a01758c475f6c247864b71cf2a5cdec3e7c9e Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Tue, 18 Jul 2023 17:58:21 -0700
Subject: [PATCH] typo

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

diff --git a/src/Structs.ml b/src/Structs.ml
index efc4159fa..6b2ee483c 100644
--- a/src/Structs.ml
+++ b/src/Structs.ml
@@ -345,7 +345,7 @@ let check_for_illegal_copies files =
       self#visit_expr_w () e3
 
     method! visit_ELet _ b e1 e2 =
-      if should_rewrite b.typ = NoCopies && e2.node <> EAny then
+      if should_rewrite b.typ = NoCopies && e1.node <> EAny then
         Warn.fatal_error "The let-binding let %s = %a creates a copy of a type that \
           should not be copied (namely, %a) -- please rewrite your \
           code\n%s"