diff --git a/H/pl-incl.h b/H/pl-incl.h index a24ac4cdb..ce5e4ed4f 100755 --- a/H/pl-incl.h +++ b/H/pl-incl.h @@ -36,6 +36,10 @@ #define O_PLMT 1 #endif +#if HAVE_ERRNO_H +#include +#endif + #include "Yap.h" #include "YapHeap.h"