Fix missing include.

diff --git a/src/lib/global/path.c.in b/src/lib/global/path.c.in
index 6b5fc758611ad327de2a51fe32a5863154235a03..d133e4481fa5dbdba96f850e8a952f12949a65a0 100644 (file)
--- a/src/lib/global/path.c.in
+++ b/src/lib/global/path.c.in
@@ -33,6 +33,8 @@
  *     Markus Armbruster, 2005
  */
 
+#include "optlist.h"
+
 char dflt_econfig[] = "@econfig@";
 char *infodir  = "@einfodir@";
 char *datadir  = "@edatadir@";