comparison etc/inttypes.h @ 34817:326242b21831

Do not return void type and remove broken duplicate code. The second copy of that code would only be run after we already tried to use mpi pointer, which means in the case it was supposed to handle we had already crashed.
author reimar
date Tue, 15 May 2012 21:18:39 +0000
parents dae8bc96fb15
children
comparison
equal deleted inserted replaced
34816:0640d4451aa7 34817:326242b21831