put CachingExtension into the correct service file.

wadoon · wadoon · commit 88a545e6a9bb · 2026-03-20T13:08:37.000+01:00
diff --git a/key.ui/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension b/key.ui/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension
@@ -6,7 +6,6 @@ de.uka.ilkd.key.gui.KeyboardTacletExtension
 de.uka.ilkd.key.gui.nodeviews.ShowHashcodesExtension
 de.uka.ilkd.key.gui.LogView
 de.uka.ilkd.key.gui.plugins.javac.JavacExtension
-de.uka.ilkd.key.gui.plugins.caching.CachingExtension
 de.uka.ilkd.key.gui.utilities.HeapStatusExt
 de.uka.ilkd.key.gui.JmlEnabledKeysIndicator
 de.uka.ilkd.key.gui.extension.impl.ProfileNameInStatusBar
diff --git a/keyext.caching/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension b/keyext.caching/src/main/resources/META-INF/services/de.uka.ilkd.key.gui.extension.api.KeYGuiExtension
@@ -0,0 +1 @@
+de.uka.ilkd.key.gui.plugins.caching.CachingExtension

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+de.uka.ilkd.key.gui.plugins.caching.CachingExtension`