X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Frtnetlink.c;h=54340e5c034cc47cd841b9c45491d2aac6eb9613;hb=e0ce13c4dc34f44d81e0001882a0be88321b5c87;hp=9beddb13941129afb75f1da21628e4587c2dc29f;hpb=d76f09ea77e03ee5a3a7bb67bcab1ac4bb54172b;p=openvswitch

diff --git a/lib/rtnetlink.c b/lib/rtnetlink.c
index 9beddb13..54340e5c 100644
--- a/lib/rtnetlink.c
+++ b/lib/rtnetlink.c
@@ -26,6 +26,7 @@
 
 #include "coverage.h"
 #include "netlink.h"
+#include "netlink-socket.h"
 #include "ofpbuf.h"
 #include "vlog.h"