#59 preprocessing mark as both LAND and WATER

[Frank Becker]

I use the Preprocessing (AlPHA!) and found the following problem. All Token before the first copy statment are marked as WATER and LAND.

Create a hack in koopa.core.data.Token.withTags(Object...).
after
Set<object> newTags = new HashSet<object>(tags);
inset
if (additionalTags[0] == IslandTag.LAND && tags.contains(IslandTag.WATER)) {
newTags.remove(IslandTag.WATER);
}

I think we need to find a better way to make sure that we only have WATER or LAND and not both.

</object></object>

[KrisDS]

That is indeed a bug. Not quite sure what could cause that, but I'll look into it.

[KrisDS]

Fixed in [r357]. Was due to a bad test in the code clearing the tags.