Bug#783205: stdint.h != stdio.h

[Jakub Wilk]

* Mathieu Malaterre <malat at debian.org>, 2015-04-24, 11:19:
>Just for clarification, you do not have hardlink/symlink on your 
>system.
>
>Log state:
>
>$ clang-3.5 -c test.c
>In file included from test.c:1:
>In file included from /usr/include/stdio.h:27:
>
>But
>
>$ GET "https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=3;filename=test.c;att=1;bug=783205"
>#include <stdint.h>

Oops, I must have attached the wrong file.
Anyway, I get the same symptoms when including either of these headers.

-- 
Jakub Wilk