From: Justin Viiret <justin.viiret@intel.com>
Date: Mon, 5 Jun 2017 05:39:08 +0000 (+1000)
Subject: ng_literal_decorated: remove unused header
X-Git-Tag: v4.6.0^2~159
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e27e76a595557b28f782a83bc8c7189411b1cc93;p=thirdparty%2Fvectorscan.git

ng_literal_decorated: remove unused header
---

diff --git a/src/nfagraph/ng_literal_decorated.cpp b/src/nfagraph/ng_literal_decorated.cpp
index 3ba810f9..1a8cafac 100644
--- a/src/nfagraph/ng_literal_decorated.cpp
+++ b/src/nfagraph/ng_literal_decorated.cpp
@@ -45,8 +45,6 @@
 #include <memory>
 #include <sstream>
 
-#include <boost/graph/depth_first_search.hpp>
-
 using namespace std;
 
 namespace ue2 {