diff --git a/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java b/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java
index 30ae311dc..8784e3733 100644
--- a/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java
+++ b/src/main/java/dk/aau/cs/approximation/ApproximationWorker.java
@@ -359,7 +359,7 @@ else if (k instanceof TimedTransitionStep) {
 						// If satisfied trace) -> Return result
 						// This is satisfied for EF and EG and not satisfied for AG and AF
 						if (unfoldedResult != null) {
-                            unfoldedResult.getUnfoldedTab().setQueries(approxResult.getUnfoldedTab().queries());
+                            unfoldedResult.getUnfoldedTab().getQueryPane().setQueries(approxResult.getUnfoldedTab().queries());
                             toReturn = new VerificationResult<>(
                                 queryResult,
                                 decomposeTrace(result.getTrace(), nameMapping, netNetwork),