fixed compile error

TAPAAL · Apr 9, 2024 · da3b15d · da3b15d
1 parent 6583a21
commit da3b15d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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),