typo

FStarLang · Jul 19, 2023 · d33a017 · d33a017
1 parent ae10162
commit d33a017
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"