-
Adrien Destugues authored
There is no need to reuse the type which may or may not be defined by the OS. We can just define our own, as long as it is identical (function taking an int and returning void). This removes platform-specific code that is not needed.