From d217d448a830eb024de52abe71ab56a07b19c918 Mon Sep 17 00:00:00 2001 From: Jan Gruteser <jan.gruteser@hhu.de> Date: Fri, 25 Oct 2024 12:07:05 +0200 Subject: [PATCH] fix order --- src/main/java/de/tla2bAst/Translator.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java index 474f18e..1fb8687 100644 --- a/src/main/java/de/tla2bAst/Translator.java +++ b/src/main/java/de/tla2bAst/Translator.java @@ -286,8 +286,8 @@ public class Translator implements TranslationGlobals { } - final RecursiveMachineLoader rml = new RecursiveMachineLoader(f.getParent(), bparser.getContentProvider()); public 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.getDefinitions()); // this is required for correct positions in ProB2(-UI) when rml.printAsProlog is called rml.setPositionPrinter(new TlaTypePrinter(rml.getNodeIdMapping(), bAstCreator.getTypes())); -- GitLab