From edd36d1f5efe080c2400bc3e883ee3609447cadc Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Fri, 28 Dec 2012 11:39:47 +0100
Subject: [PATCH] fix predicate name
---
.../src/de/prob/core/command/GetPluginResultCommand.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 4a32059f..ec020db3 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();
}
--
GitLab