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 2fa022b600b4ab0f0b895d957d7a9cf157fe0636..47ea693d60762cebe502c1ed30a702b961d04579 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);