From cb290fcc0e3637e4866437af2299a90532bd7300 Mon Sep 17 00:00:00 2001
From: dohan <dohan001@hhu.de>
Date: Fri, 31 Aug 2018 10:33:04 +0200
Subject: [PATCH] bump parser version to 2.9.12
---
build.gradle | 4 ++--
src/main/java/de/tla2bAst/Translator.java | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/build.gradle b/build.gradle
index f7528d1..ad81534 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 205d09e..7395892 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;
}
--
GitLab