diff --git a/de.prob.core/src/de/prob/core/command/GetPluginResultCommand.java b/de.prob.core/src/de/prob/core/command/GetPluginResultCommand.java index 4a32059fac77b05ddcf5058cca7ef5c865fe3c9e..ec020db3ed7e8c7a9daf7c21ca5bda43a023e10f 100644 --- a/de.prob.core/src/de/prob/core/command/GetPluginResultCommand.java +++ b/de.prob.core/src/de/prob/core/command/GetPluginResultCommand.java @@ -47,7 +47,7 @@ public final class GetPluginResultCommand implements IComposableCommand { } public void writeCommand(final IPrologTermOutput pto) { - pto.openTerm("getPluginOutput").printAtomOrNumber(resultID) + pto.openTerm("get_plugin_output").printAtomOrNumber(resultID) .printVariable("Bindings").closeTerm(); }