--- file_not_specified_in_diff +++ file_not_specified_in_diff @@ -, +, @@ --- work/xkaapi-2.2/src/kaapi_impl.h 2014-05-21 23:46:50.000000000 +0200 +++ work/xkaapi-2.2/src/kaapi_impl.h 2019-08-29 04:09:13.095028000 +0200 @@ -92,6 +92,7 @@ #include "memory/kaapi_memory_task.h" #include +#include #include "kaapi_defs.h"