From f5eff1af1273ffe157678f739556edaa1ec1b5a3 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 30 May 2017 17:51:14 -0600 Subject: [PATCH] Fix DataOutInterface::set_flags() for GnuplotFlags. --- source/base/data_out_base.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/source/base/data_out_base.cc b/source/base/data_out_base.cc index 77369d55b4..36cc260b59 100644 --- a/source/base/data_out_base.cc +++ b/source/base/data_out_base.cc @@ -7141,6 +7141,8 @@ DataOutInterface::set_flags (const FlagType &flags) vtk_flags = *reinterpret_cast(&flags); else if (typeid(flags) == typeid(svg_flags)) svg_flags = *reinterpret_cast(&flags); + else if (typeid(flags) == typeid(gnuplot_flags)) + gnuplot_flags = *reinterpret_cast(&flags); else if (typeid(flags) == typeid(deal_II_intermediate_flags)) deal_II_intermediate_flags = *reinterpret_cast(&flags); else -- 2.39.5