57d09332b9
to do in the next version of flex. bug reported by klier@cs.tu-berlin.de.
to do in the next version of flex. bug reported by klier@cs.tu-berlin.de.