X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=datapath%2Fdatapath.c;h=e9f30f8a81da2bed3b2a2e58b0ca72f633512556;hb=a3acf0b0c46a28d6c891086e054d81dd915eea2e;hp=5996d6ed7e104b54fd9ec8370828372c06bb5ef3;hpb=b7a31ec13d0617868378d39a72beb4c4ffcb7e5c;p=openvswitch

diff --git a/datapath/datapath.c b/datapath/datapath.c
index 5996d6ed..e9f30f8a 100644
--- a/datapath/datapath.c
+++ b/datapath/datapath.c
@@ -39,7 +39,6 @@
 #include <linux/inetdevice.h>
 #include <linux/list.h>
 #include <linux/rculist.h>
-#include <linux/workqueue.h>
 #include <linux/dmi.h>
 #include <net/inet_ecn.h>
 #include <linux/compat.h>