diff --git a/de.prob2.feature/feature.xml b/de.prob2.feature/feature.xml index 6bc23c2551297ac9b86cf5a3313fbcc1e52a2533..0f66f71b778d3987f5f60fa4063ccef25f493410 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.3.0.qualifier" + version="2.3.1.qualifier" provider-name="HHU Düsseldorf STUPS Group"> <description url="http://www.stups.uni-duesseldorf.de/ProB">