Add missing <functional> include for std::greater

2014-10-31 23:01:56 +01:00 · 2014-10-31 23:01:56 +01:00 · be1d411b83
parent 804aa8d398
commit be1d411b83
1 changed files with 1 additions and 0 deletions
--- a/plugins/prospector.cpp
+++ b/plugins/prospector.cpp
@ -10,6 +10,7 @@
 #include <iomanip>
 #include <map>
 #include <algorithm>
 #include <functional>
 #include <vector>
 using namespace std;