Adriaan van Os wrote:
Peter was right, one of the reported crashes was indeed reproducible (details below). The question is whether this is a problem with enumerated types or with the option that debugs them.
The latter. That was an easy one.
Frank