version of tla2bast

build.gradle

@@ -41,7 +41,7 @@ dependencies {
 	//compile(group: 'de.prob', name: 'de.prob.core.kernel', version: '2.0.0-milestone-13-SNAPSHOT')
 
 	testCompile (group: 'junit', name: 'junit', version: '4.11')
-    testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.5')
+  testCompile (group: 'de.prob', name: 'tla2bAST', version: '1.0.7-SNAPSHOT')
 
 	releaseJars (group: 'de.hhu.stups', name: 'tlatools', version: '1.0.0')
 	releaseJars (group: 'de.hhu.stups', name: 'prologlib', version: parser_version)