From 5999eb4433dc5a758674d9c941d97bbaf48d030d Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 13 Sep 2023 19:04:39 +0200 Subject: fix: hide new node names in generated models --- .../tools/refinery/language/web/generator/ModelGenerationWorker.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'subprojects/language-web/src') 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 1f430da6..e14982a7 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 @@ -197,7 +197,8 @@ public class ModelGenerationWorker implements Runnable { model.restore(solutionStore.getSolutions().get(0).version()); cancellationToken.checkCancelled(); metadataCreator.setInitializer(initializer); - var nodesMetadata = metadataCreator.getNodesMetadata(model.getAdapter(ReasoningAdapter.class).getNodeCount()); + var nodesMetadata = metadataCreator.getNodesMetadata(model.getAdapter(ReasoningAdapter.class).getNodeCount(), + false); cancellationToken.checkCancelled(); var relationsMetadata = metadataCreator.getRelationsMetadata(); cancellationToken.checkCancelled(); -- cgit v1.2.3-54-g00ecf