diff --git a/Installation/include/CGAL/config.h b/Installation/include/CGAL/config.h
index aa9724b90d5..cf339cadfe3 100644
--- a/Installation/include/CGAL/config.h
+++ b/Installation/include/CGAL/config.h
@@ -623,6 +623,7 @@ using std::max;
 #  include <unordered_set>
 #  include <unordered_map>
 #  include <functional>
+#  include <CGAL/result_of.h>
 //
 namespace CGAL {
 //
@@ -641,7 +642,6 @@ namespace CGAL {
     using std::is_enum;
     using std::unordered_set;
     using std::unordered_map;
-    using std::result_of;
   }
 //
   namespace cpp0x = cpp11;