Elsa Ast Type DependentQType

The Elsa ast class type DependentQType has been renamed to ATY_DependentQ in Olmar. See there for further information.

Comments

Please make your modifications only below, because the content above will be regenerated automatically from time to time.