Changeset 1973 for trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/CondenseSimilarTasksRule.java

Timestamp:

06/22/15 16:28:15 (9 years ago)

Author:

pharms

Message:

• again two smaller bugfixes in task merging

File:

• trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/CondenseSimilarTasksRule.java (modified) (1 diff)

trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/temporalrelation/CondenseSimilarTasksRule.java

@@ -1292 +1292 @@
                 
                 // perform the actual replacement and throw away the instance
+                taskBuilder.setMarkedTask(optionalInstance.getOptional(), replacement.getTask());
                 taskBuilder.setChild(optionalInstance, replacement);
                 TaskPath path = new TaskPath();