Rip out obsolete floating point header

This commit is contained in:
Daniel J. Hofmann 2016-02-12 16:30:01 -08:00
parent a6d406d2c3
commit eb6f01e65a

View File

@ -3,7 +3,6 @@
#include "util/static_rtree.hpp"
#include "extractor/query_node.hpp"
#include "extractor/edge_based_node.hpp"
#include "util/floating_point.hpp"
#include "util/typedefs.hpp"
#include <boost/functional/hash.hpp>