diff --git a/build.gradle b/build.gradle index b26fd7bf93697e701cdc5817ed9a9e51b975f234..a3e7cabae05381afae27845e6d06615e49eddb18 100644 --- a/build.gradle +++ b/build.gradle @@ -4,7 +4,7 @@ apply plugin: 'maven' sourceCompatibility = '1.7' -project.version = '3.2.0-SNAPSHOT' +project.version = '3.2.0' project.group = 'de.hhu.stups' project.archivesBaseName = 'rodin-eventb-ast'