Merge pull request #359 from FStarLang/protz_spinlock

Fix a typo in the copy-detection check
FStarLang · Jul 19, 2023 · 6765580 · 6765580
2 parents ae10162 + d33a017
commit 6765580
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"