bump parser version to 2.9.12

build.gradle

@@ -30,10 +30,10 @@ configurations.all {
 
 def parser_version
 if (project.version.endsWith("-SNAPSHOT")) {
-	parser_version = '2.9.7-SNAPSHOT'
+	parser_version = '2.9.13-SNAPSHOT'
 }
 else {
-	parser_version = '2.9.6'
+	parser_version = '2.9.12'
 }
 
 def tlatools_version = '1.0.2'

src/main/java/de/tla2bAst/Translator.java

@@ -346,7 +346,7 @@ public class Translator implements TranslationGlobals {
 	public static RecursiveMachineLoader parseAllMachines(final Start ast, final File f, final BParser bparser)
 			throws BCompoundException {
 		final RecursiveMachineLoader rml = new RecursiveMachineLoader(f.getParent(), bparser.getContentProvider());
-		rml.loadAllMachines(f, ast, bparser.getSourcePositions(), bparser.getDefinitions());
+		rml.loadAllMachines(f, ast, bparser.getDefinitions());
 		return rml;
 	}