From 8eea83fcd7bbe122995512ffeedeb3dd4587f21b Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 20 Dec 2012 11:47:08 +0100
Subject: [PATCH] fix term send to prolog
---
.../src/de/prob/core/command/ActivateUnitPluginCommand.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/core/command/ActivateUnitPluginCommand.java b/de.prob.core/src/de/prob/core/command/ActivateUnitPluginCommand.java
index c75c3a7b..5071e60e 100644
--- a/de.prob.core/src/de/prob/core/command/ActivateUnitPluginCommand.java
+++ b/de.prob.core/src/de/prob/core/command/ActivateUnitPluginCommand.java
@@ -48,7 +48,9 @@ public class ActivateUnitPluginCommand implements IComposableCommand {
}
public void writeCommand(final IPrologTermOutput pto) {
- pto.openTerm("activate_plugin(units)").closeTerm();
+ pto.openTerm("activate_plugin");
+ pto.printAtom("units");
+ pto.closeTerm();
}
}
--
GitLab