diff options
Diffstat (limited to 'subprojects/language-web/src')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/semantics/SemanticsService.java | 3 |
1 files changed, 2 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 79ca32ff..c828b3d5 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 | |||
@@ -64,7 +64,8 @@ public class SemanticsService extends AbstractCachedService<SemanticsResult> { | |||
64 | } | 64 | } |
65 | var initializer = initializerProvider.get(); | 65 | var initializer = initializerProvider.get(); |
66 | var builder = ModelStore.builder() | 66 | var builder = ModelStore.builder() |
67 | .with(ViatraModelQueryAdapter.builder()); | 67 | .with(ViatraModelQueryAdapter.builder()) |
68 | .with(ReasoningAdapter.builder()); | ||
68 | operationCanceledManager.checkCanceled(cancelIndicator); | 69 | operationCanceledManager.checkCanceled(cancelIndicator); |
69 | try { | 70 | try { |
70 | var modelSeed = initializer.createModel(problem, builder); | 71 | var modelSeed = initializer.createModel(problem, builder); |