ng_literal_decorated: remove unused header

diff --git a/src/nfagraph/ng_literal_decorated.cpp b/src/nfagraph/ng_literal_decorated.cpp
index 3ba810f9555f375672dd870666c538f0415e4a19..1a8cafacefd0febddb5e88194cb46d4b5e0d4425 100644 (file)
--- 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 {