#include <ctime> missing in unix/d_x11.cpp

[andreasbaumann]

[  8%] Building CXX object unix/CMakeFiles/os.dir/d_x11.cpp.o
/data/work/arch/iterated-dynamics-1.0.0/unix/d_x11.cpp: In member function ‘void X11Driver::flush_output()’:
/data/work/arch/iterated-dynamics-1.0.0/unix/d_x11.cpp:2297:13: error: ‘time’ was not declared in this scope
 2297 |             time(&start);
      |             ^~~~
/data/work/arch/iterated-dynamics-1.0.0/unix/d_x11.cpp:62:1: note: ‘time’ is defined in header ‘<ctime>’; this is probably fixable by adding ‘#include <ctime>’
   61 | #include "intro.h"
  +++ |+#include <ctime>
   62 | 
/data/work/arch/iterated-dynamics-1.0.0/unix/d_x11.cpp:2302:26: error: ‘time’ was not declared in this scope
 2302 |             time_t now = time(nullptr);
      |                          ^~~~
/data/work/arch/iterated-dynamics-1.0.0/unix/d_x11.cpp:2302:26: note: ‘time’ is defined in header ‘<ctime>’; this is probably fixable by adding ‘#include <ctime>’
make[2]: *** [unix/CMakeFiles/os.dir/build.make:76: unix/CMakeFiles/os.dir/d_x11.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1644: unix/CMakeFiles/os.dir/all] Error 2

This is with gcc 14.2.1 on ArchLinux.

[andreasbaumann]

Probably irrelevant as X11 is going to be replaced by wxWidgets anyway.

[LegalizeAdulthood]

I'll fix it anyway; odd that the CI linux job on github didn't complain; must be a transitive include from something