From fe13d75c2c1f86093ea3100c25f7d6b5255ec511 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 24 Sep 2019 15:08:42 +0200
Subject: [PATCH] add TODO

---
 .../de/prob/ui/operationview/CustomPreconditionInputDialog.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 4e40f8bc..dc587028 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() {
-- 
GitLab