Skip to content
Snippets Groups Projects
Commit d217d448 authored by Jan Gruteser's avatar Jan Gruteser
Browse files

fix order

parent c7e7adb4
Branches
No related tags found
No related merge requests found
Pipeline #144584 passed
...@@ -286,8 +286,8 @@ public class Translator implements TranslationGlobals { ...@@ -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 { 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()); rml.loadAllMachines(f, ast, bparser.getDefinitions());
// this is required for correct positions in ProB2(-UI) when rml.printAsProlog is called // this is required for correct positions in ProB2(-UI) when rml.printAsProlog is called
rml.setPositionPrinter(new TlaTypePrinter(rml.getNodeIdMapping(), bAstCreator.getTypes())); rml.setPositionPrinter(new TlaTypePrinter(rml.getNodeIdMapping(), bAstCreator.getTypes()));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment