Fixed query parameter list undeterministic order

1 files changed, 5 insertions, 1 deletions

diff --git a/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java b/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java
index 7558424b..aa797cde 100644
--- a/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java
+++ b/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java
@@ -46,7 +46,11 @@ public class DNF2PQuery {
                 Map<Variable, PParameter> parameters = new HashMap<>();
 
                 predicate.getVariables().forEach(variable -> parameters.put(variable, new PParameter(variable.getName())));
-                query.setParameter(new ArrayList<>(parameters.values()));
+                List<PParameter> parameterList = new ArrayList<>();
+                for(var param : predicate.getVariables()) {
+                        parameterList.add(parameters.get(param));
+                }
+                query.setParameter(parameterList);
                 for (DNFAnd clause : predicate.getClauses()) {
                         PBody body = new PBody(query);
                         List<ExportedParameter> symbolicParameters = new ArrayList<>();