X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdhcp-client.c;h=70f4e60fc312e65e0cdcae69b23314e741b87cbb;hb=c5e61793e9e1f5e4cd24d6abd444e521408c8ee7;hp=f62ce5bb79f9d230dbdfc71606483f2e4ff9fd8c;hpb=66f51290ba619f4c3b340c7bd6aedd61f41dd9ea;p=openvswitch

diff --git a/lib/dhcp-client.c b/lib/dhcp-client.c
index f62ce5bb..70f4e60f 100644
--- a/lib/dhcp-client.c
+++ b/lib/dhcp-client.c
@@ -49,7 +49,6 @@
 #include "flow.h"
 #include "netdev.h"
 #include "ofpbuf.h"
-#include "ofp-print.h"
 #include "poll-loop.h"
 #include "sat-math.h"
 #include "timeval.h"