X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fvconn-tcp.c;h=7fbec081ea9f80734742f9c22cb2bf8b81cff454;hb=f730dded18218f869c3c316b98912ff19d8fb71c;hp=80c8f56c5b6c558846d3c8686042a592edf763cf;hpb=f24230f9d9a3a5f875ec174d0bc5bc3e74ce7fb1;p=openvswitch

diff --git a/lib/vconn-tcp.c b/lib/vconn-tcp.c
index 80c8f56c..7fbec081 100644
--- a/lib/vconn-tcp.c
+++ b/lib/vconn-tcp.c
@@ -31,6 +31,7 @@
  * derivatives without specific, written prior permission.
  */
 
+#include <config.h>
 #include "vconn.h"
 #include <assert.h>
 #include <errno.h>