[ECOS] Possible bug in dbg-threads-syscall.c

[Martin Buck]

Martin Buck wrote:
> OK, but that's the wrong way round. Here, we've got a pointer to a
> function and dereference it.

Sorry, I'm stupid. I didn't notice that you dereference the function
pointer and then compare it - I thought you have something like:

*int_fun_ptr;

Of course, in a comparison this makes sense, although leaving out the
"*" would probably make it easier to understand.

Just forget everything I wrote. ;-)

Martin