diff options
Diffstat (limited to 'subprojects')
-rw-r--r-- | subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java index e14982a7..77fc7484 100644 --- a/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java +++ b/subprojects/language-web/src/main/java/tools/refinery/language/web/generator/ModelGenerationWorker.java | |||
@@ -178,7 +178,8 @@ public class ModelGenerationWorker implements Runnable { | |||
178 | .with(PropagationAdapter.builder()) | 178 | .with(PropagationAdapter.builder()) |
179 | .with(StateCoderAdapter.builder()) | 179 | .with(StateCoderAdapter.builder()) |
180 | .with(DesignSpaceExplorationAdapter.builder()) | 180 | .with(DesignSpaceExplorationAdapter.builder()) |
181 | .with(ReasoningAdapter.builder()); | 181 | .with(ReasoningAdapter.builder() |
182 | .requiredInterpretations(Concreteness.CANDIDATE)); | ||
182 | var modelSeed = initializer.createModel(problem, storeBuilder); | 183 | var modelSeed = initializer.createModel(problem, storeBuilder); |
183 | var store = storeBuilder.build(); | 184 | var store = storeBuilder.build(); |
184 | cancellationToken.checkCancelled(); | 185 | cancellationToken.checkCancelled(); |