From 33f5236687fd223e8baa49d5e0c851b1e3e94dee Mon Sep 17 00:00:00 2001 From: Niels Date: Fri, 9 Jan 2015 17:40:14 +0100 Subject: [PATCH] added missing header --- src/json.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/json.h b/src/json.h index 3b282a66c9..2dd993487e 100644 --- a/src/json.h +++ b/src/json.h @@ -16,6 +16,7 @@ #include // std::map #include // std::string #include // std::vector +#include // std::iterator namespace nlohmann {