From a2127e7b879367f89f7f34a9e0dad167a42bd1d9 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <shaz@meta.com>
Date: Thu, 25 Apr 2024 12:52:33 -0700
Subject: [PATCH] update

---
 Source/Core/AST/Absy.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Source/Core/AST/Absy.cs b/Source/Core/AST/Absy.cs
index f04a317bb..b82fd2dfe 100644
--- a/Source/Core/AST/Absy.cs
+++ b/Source/Core/AST/Absy.cs
@@ -4121,9 +4121,9 @@ public override void Typecheck(TypecheckingContext tc)
     private void TypecheckLoopAnnotations(TypecheckingContext tc, Graph<Block> graph)
     {
       var yieldingProc = (YieldProcedureDecl)Proc;
-      var yieldingLayer = yieldingProc.Layer;
       foreach (var header in graph.Headers)
       {
+        var yieldingLayer = yieldingProc.Layer;
         var yieldCmd = (PredicateCmd)header.Cmds.FirstOrDefault(cmd =>
           cmd is PredicateCmd predCmd && predCmd.HasAttribute(CivlAttributes.YIELDS));
         if (yieldCmd == null)