Dear all, I also experience this bug. For my configuration please have a look at the (possibly related) bug #687203. Best regards, -- Carsten Otto otto@informatik.rwth-aachen.de LuFG Informatik 2 http://verify.rwth-aachen.de/otto/ RWTH Aachen phone: +49 241 80-21211
Attachment:
signature.asc
Description: Digital signature