diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index e161c8aba88520ec1a1ca9f843a16d683a0dae98..b80aea00f3eba58911d16215fa8f7a6be17ce22f 100644 --- a/de.prob2.feature/feature.xml +++ b/de.prob2.feature/feature.xml @@ -2,7 +2,7 @@ <feature id="de.prob2.feature" label="ProB for Rodin2" - version="2.4.5.qualifier" + version="2.4.6.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">