update

boogie-org · Apr 25, 2024 · a2127e7 · a2127e7
1 parent 443683c
commit a2127e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)