On 8/25/2018 6:32 AM, Timon Gehr wrote:
(Or at least, not wrong. Using e.g. `void*` instead of an incompatible type would already be an improvement.)

Making it void* is a reasonable idea.

Reply via email to