From e27e76a595557b28f782a83bc8c7189411b1cc93 Mon Sep 17 00:00:00 2001
From: Justin Viiret <justin.viiret@intel.com>
Date: Mon, 5 Jun 2017 15:39:08 +1000
Subject: [PATCH] ng_literal_decorated: remove unused header

---
 src/nfagraph/ng_literal_decorated.cpp | 2 --
 1 file changed, 2 deletions(-)

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 {