diff --git a/de.prob.core/src/de/prob/eventb/translator/Theories.java b/de.prob.core/src/de/prob/eventb/translator/Theories.java
index 170cb9cb3a6d84efb02b4e29401492e7f7b39449..bb7e443c8e90881027039e22fad11942b1941bc1 100644
--- a/de.prob.core/src/de/prob/eventb/translator/Theories.java
+++ b/de.prob.core/src/de/prob/eventb/translator/Theories.java
@@ -467,6 +467,8 @@ public class Theories {
 			printType(arg.getSCGivenType(ff), pto);
 		}
 		pto.closeList();
+		pto.openList(); // empty list of predicate args
+		pto.closeList();
 		pto.closeTerm();
 	}