From: Ben Pfaff <blp@nicira.com>
Date: Mon, 21 Jul 2008 23:30:53 +0000 (-0700)
Subject: Don't include unneeded header file.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=61df6c4639fe3a8f819e9d8a35c71f947e842e1a;p=openvswitch

Don't include unneeded header file.
---

diff --git a/secchan/secchan.c b/secchan/secchan.c
index cc9e3bc4..5577a27a 100644
--- a/secchan/secchan.c
+++ b/secchan/secchan.c
@@ -67,8 +67,6 @@
 #include "vlog.h"
 #define THIS_MODULE VLM_secchan
 
-#include "ofp-print.h"
-
 static const char *listen_vconn_name;
 
 struct half {