diff --git a/src/openvpn/pool.c b/src/openvpn/pool.c
index 68fa4782..370f6af7 100644
--- a/src/openvpn/pool.c
+++ b/src/openvpn/pool.c
@@ -34,7 +34,6 @@
 #include "error.h"
 #include "socket.h"
 #include "otime.h"
-#include "options.h"
 
 #include "memdbg.h"