Various elements have been renamed. The renamed ones are in the oldmaps variable in the specification (already propagated to the C++ code by foliaspec). Furthermore, AbstractHigherOrderAnnotation is a new grouping, and AbstractExtendedTokenAnnotation is removed.
kosloot
commented
5 years ago
Various elements have been renamed. The renamed ones are in the oldmaps variable in the specification (already propagated to the C++ code by foliaspec). Furthermore, AbstractHigherOrderAnnotation is a new grouping, and AbstractExtendedTokenAnnotation is removed.