Update instanceAllocation.key

renaming a taclet on Daniel's suggestion
KeYProject · Feb 24, 2025 · 0c653c5 · 0c653c5
1 parent c2e5da7
commit 0c653c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/key.core/src/main/resources/de/uka/ilkd/key/proof/rules/instanceAllocation.key b/key.core/src/main/resources/de/uka/ilkd/key/proof/rules/instanceAllocation.key
@@ -239,7 +239,7 @@
         \displayname "interfaces or abstract classes have no exact instances"
     };
 
-    instance_for_final_classes {
+    instance_for_final_types {
         \schemaVar \term any a;
         \assumes(==> J::exactInstance(a) = TRUE)
         \find(J::instance(a) = TRUE ==>)