On Thu, Nov 29, 2007 at 01:40:49PM +0100, Jean-Marc Lasgouttes wrote: > Abdelrazak Younes <[EMAIL PROTECTED]> writes: > > > This is only for 'time_t' type, which is not used all over the place. > > The alternative is to include <ctime> in "Debug.h" which seems a bit > > heavy. > > You mean that it used to be included in the old days?
In the old days #include "debug.h" was 30200 lines. Given that wc /usr/include/*.h is 54000, the chance is pretty high that it was included... Andre'
