fixup an include

This unordered_map thing was totally unnecessary and this header
is included everywhere. From the logs it looks like the boost
unordered_map is a fairly expensive include.
This commit is contained in:
Chris Beck 2014-06-19 10:52:27 -04:00
parent 6b4ad80a65
commit 4c06902df5

View file

@ -23,7 +23,7 @@ class variable_set;
#include <string>
#include <vector>
#include <set>
#include <boost/unordered_map.hpp>
#include <boost/functional/hash.hpp>
#include <boost/assign/list_of.hpp>
/**