Add comment

Drodt · Drodt · commit 9fbf55d7e538 · 2026-04-21T13:17:14.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
@@ -1549,6 +1549,8 @@
         \displayname "switch throw"
     };
 
+    // TODO: unboxing?
+
     // --------------- labels and blocks ------------------------------------------//
 
 
