diff --git a/src/stan/io/json/json_data_handler.hpp b/src/stan/io/json/json_data_handler.hpp index 44861ad228..3e0adeb279 100644 --- a/src/stan/io/json/json_data_handler.hpp +++ b/src/stan/io/json/json_data_handler.hpp @@ -16,7 +16,7 @@ #include #include #include -#include +#include namespace stan { @@ -172,8 +172,8 @@ class json_data_handler : public stan::json::json_handler { * and contain only letters, numbers, or an underscore. */ bool valid_varname(const std::string& name) { - static const std::regex re("[a-zA-Z][a-zA-Z0-9_]*"); - return std::regex_match(name, re); + static const boost::regex re("[a-zA-Z][a-zA-Z0-9_]*"); + return boost::regex_match(name, re); } bool is_array_tuples(const std::vector& keys) {