--- backward.hpp +++ backward.hpp @@ -313,1 +313,1 @@ -#include +#include @@ -317,1 +317,1 @@ -#include +#include @@ -320,1 +320,1 @@ -#include +#include @@ -4017,2 +4017,2 @@ - set_terminate(&terminator); - set_unexpected(&terminator); + std::set_terminate(&terminator); + std::set_unexpected(&terminator);