From d8a58c0b357798d817fa06f3b8303cee5c8aefdc Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 27 Sep 2022 12:41:27 +0200
Subject: [PATCH] Update RecursiveMachineLoader.loadAllMachines to new
 signature

---
 .../src/de/prob/core/command/LoadClassicalBModelCommand.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java b/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
index 2fa022b6..47ea693d 100644
--- a/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
+++ b/de.prob.core/src/de/prob/core/command/LoadClassicalBModelCommand.java
@@ -134,7 +134,7 @@ public final class LoadClassicalBModelCommand {
 		try {
 			Start ast = bParser.parseFile(model, false);
 			final RecursiveMachineLoader rml = new RecursiveMachineLoader(model.getParent(), null);
-			rml.loadAllMachines(model, ast, null, bParser.getDefinitions());
+			rml.loadAllMachines(model, ast, bParser.getDefinitions());
 			StructuredPrologOutput output = new StructuredPrologOutput();
 			StructuredPrologOutput out = new StructuredPrologOutput();
 			rml.printAsProlog(output);
-- 
GitLab