diff --git a/src/ptserver/pt_util.c b/src/ptserver/pt_util.c index 8416fb1330..e0c01b457b 100644 --- a/src/ptserver/pt_util.c +++ b/src/ptserver/pt_util.c @@ -33,6 +33,7 @@ RCSID #include #include #include +#include #include "ptint.h" #include "ptserver.h" #include "pterror.h"