On 9/10/20 11:22 AM, Jakub Jelinek wrote:
But it is not mapnum > 0 here but mapnum >1
Error: need more coffee (well, tea) Thanks for both the reasoning and catching this oversight of mine. Tobias ----------------- Mentor Graphics (Deutschland) GmbH, Arnulfstraße 201, 80634 München / Germany Registergericht München HRB 106955, Geschäftsführer: Thomas Heurung, Alexander Walter