Parcourir la source

Merge branch 'trac2347'

Mukund Sivaraman il y a 11 ans
Parent
commit
6625199575
1 fichiers modifiés avec 1 ajouts et 0 suppressions
  1. 1 0
      src/lib/util/range_utilities.h

+ 1 - 0
src/lib/util/range_utilities.h

@@ -17,6 +17,7 @@
 
 #include <stdlib.h>
 #include <algorithm>
+#include <functional>
 
 // This header contains useful methods for conduction operations on
 // a range of container elements. Currently the collection is limited,