public Forest<String> shiftToken(Character ct, Location newloc) {
if (oldloc==null) oldloc = newloc;
- Forest<String> ret = Forest.create(oldloc.createRegion(newloc), ct.toString(), null, false);
+ Forest<String> ret = Forest.create(oldloc.createRegion(newloc), ct.toString(), null);
oldloc = newloc;
return ret;
}