On 1/11/2016 12:56 PM, Timon Gehr wrote:
This not an undefined identifier error.

Please post an example of the bug you assert.

Reply via email to