Refactoring to make code more robust

boogie-org · Oct 21, 2024 · 4cbed7f · 4cbed7f
1 parent f27d1eb
commit 4cbed7f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Source/VCGeneration/Splits/IsolateAttributeOnJumpsHandler.cs b/Source/VCGeneration/Splits/IsolateAttributeOnJumpsHandler.cs
@@ -44,7 +44,8 @@ public static (List<ManualSplit> Isolated, ManualSplit Remainder) GetParts(VCGen
       var blocksToInclude = ancestors.Union(descendants).ToHashSet();
 
       var originalReturn = ((GotoFromReturn)gotoCmd.tok).Origin;
-      if (originalReturn.tok is ImplicitJump) {
+      var returnWasFromOriginalSource = originalReturn.tok is not Token;
+      if (returnWasFromOriginalSource) {
         continue;
       }