diff options
Diffstat (limited to 'subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java index 56b2cbc1..ba55dc77 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java | |||
@@ -55,7 +55,7 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> { | |||
55 | } | 55 | } |
56 | var problem = getProblem(doc); | 56 | var problem = getProblem(doc); |
57 | if (problem == null) { | 57 | if (problem == null) { |
58 | return new SemanticsSuccessResult(List.of(), new JsonObject()); | 58 | return new SemanticsSuccessResult(List.of(), List.of(), new JsonObject()); |
59 | } | 59 | } |
60 | var worker = workerProvider.get(); | 60 | var worker = workerProvider.get(); |
61 | worker.setProblem(problem, cancelIndicator); | 61 | worker.setProblem(problem, cancelIndicator); |