missing sameUpdateLevel for tryCatchThrow

mattulbrich · wadoon · commit aebcce2f0157 · 2026-04-09T15:38:43.000+02:00
diff --git a/key.core/src/main/resources/de/uka/ilkd/key/proof/rules/javaRules.key b/key.core/src/main/resources/de/uka/ilkd/key/proof/rules/javaRules.key
@@ -519,6 +519,7 @@
     tryCatchThrow {
         \find(\modality{#allmodal}{.. try { throw #se; #slist }
                 catch ( #t #v0 ) { #slist1 } ...}\endmodality (post))
+        \sameUpdateLevel
 
         // Case NPE: throwing null fails:
         "Null reference in throw":
