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

Reply via email to