At the moment, only a big complicated one. However, I think Benjamin Drung dug up
something worth inspecting. My bet is that he found the problem.
Please take a look at the incompatible pointer type problem he found; if that isn't relevant
or isn't trivial to fix, I'll boil my code down to a small test case.
At the moment, only a big complicated one. However, I think Benjamin Drung dug up
something worth inspecting. My bet is that he found the problem.
Please take a look at the incompatible pointer type problem he found; if that isn't relevant
or isn't trivial to fix, I'll boil my code down to a small test case.