diff --git a/build.gradle b/build.gradle
index f7528d16cef319d0fb21e8a5e0f0886a077f38d5..ad815346d4d09ec8738b8eca6798f8fb43e52443 100644
--- a/build.gradle
+++ b/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'
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 205d09ee71b6ea0e95ee0f02ace17c8cb2871030..7395892949117faf6649ee5f3e9d04f804d5836f 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/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;
 	}