Changeset 2239
- Timestamp:
- 12/08/17 14:57:40 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-core-tasktrees/src/main/java/de/ugoe/cs/autoquest/tasktrees/treeifc/TaskPath.java
r1847 r2239 156 156 else if (obj instanceof TaskPath) { 157 157 TaskPath other = (TaskPath) obj; 158 if ( (other != null) && (this.size() == other.size())) {158 if (this.size() == other.size()) { 159 159 for (int i = 0; i < this.size(); i++) { 160 160 if (!this.get(i).equals(other.get(i))) {
Note: See TracChangeset
for help on using the changeset viewer.