diff --git a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
index 4e40f8bcb13e767f406cb71a63fca879bdcc9795..dc587028db09f3093dd6bf1de41f130e1608ff36 100644
--- a/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
+++ b/de.prob.ui/src/de/prob/ui/operationview/CustomPreconditionInputDialog.java
@@ -62,8 +62,8 @@ public class CustomPreconditionInputDialog extends InputDialog {
 		    sb.append(vals.get(i));
 		    if(i!=sze-1) { sb.append(" & ");}
 		}
-		
 		return sb.toString();
+		// TODO: ideally we would want to store the predicate provided by the user, in case the execution fails
 	}
 
 	private Operation getCustomOperation() {