From 7a0078647051a9a871ef8dc69c2703b9bb3ebe95 Mon Sep 17 00:00:00 2001 From: Daniel Arndt Date: Mon, 7 Mar 2022 13:42:52 -0500 Subject: [PATCH] boost::get -> std_cxx17::get --- include/deal.II/base/table_handler.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/include/deal.II/base/table_handler.h b/include/deal.II/base/table_handler.h index 2024c05cac..9c7974e18c 100644 --- a/include/deal.II/base/table_handler.h +++ b/include/deal.II/base/table_handler.h @@ -846,27 +846,27 @@ namespace internal // write first an identifier for the kind // of data stored and then the actual // data, in its correct data type - if (const int *p = boost::get(&value)) + if (const int *p = std_cxx17::get(&value)) { char c = 'i'; ar &c &*p; } - else if (const unsigned int *p = boost::get(&value)) + else if (const unsigned int *p = std_cxx17::get(&value)) { char c = 'u'; ar &c &*p; } - else if (const double *p = boost::get(&value)) + else if (const double *p = std_cxx17::get(&value)) { char c = 'd'; ar &c &*p; } - else if (const std::string *p = boost::get(&value)) + else if (const std::string *p = std_cxx17::get(&value)) { char c = 's'; ar &c &*p; } - else if (const std::uint64_t *p = boost::get(&value)) + else if (const std::uint64_t *p = std_cxx17::get(&value)) { char c = 'l'; ar &c &*p; -- 2.39.5