X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=include%2Fopenflow%2Fopenflow.h;h=5f1dd609f2002d8c4a1a8b97c200f24c776df009;hb=46c6a11da0409a4f52fd6ea5f72154c73af0ba47;hp=3db5d356ecacf6067db6774b62bab3320cbe4f41;hpb=0b61210ecb328274be67c23127e15af0809b00da;p=openvswitch

diff --git a/include/openflow/openflow.h b/include/openflow/openflow.h
index 3db5d356..5f1dd609 100644
--- a/include/openflow/openflow.h
+++ b/include/openflow/openflow.h
@@ -19,11 +19,7 @@
 #ifndef OPENFLOW_OPENFLOW_H
 #define OPENFLOW_OPENFLOW_H 1
 
-#ifdef __KERNEL__
-#include <linux/types.h>
-#else
 #include <stdint.h>
-#endif
 
 #ifdef SWIG
 #define OFP_ASSERT(EXPR)        /* SWIG can't handle OFP_ASSERT. */