Hi,

I think the optimization parameter "max-cselib-memory-location" documented in the section 3.10 should be called "max-cselib-memory-locations". (The last 's' is missing.)

Bye,
Philipp Claßen

Reply via email to