diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java index 474f18e1cf6da6bf9c9082772cfd14a896d071a5..1fb86878a8c12ecdae953077945b02731e986a97 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()));