From 7c56d7f861f4f6e56d413774592e63ec0c78f3d1 Mon Sep 17 00:00:00 2001 From: Peter Munch Date: Wed, 17 Jun 2020 21:05:21 +0200 Subject: [PATCH] Specify std namespace --- include/deal.II/grid/grid_out.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/include/deal.II/grid/grid_out.h b/include/deal.II/grid/grid_out.h index c16398b211..6af4b566b7 100644 --- a/include/deal.II/grid/grid_out.h +++ b/include/deal.II/grid/grid_out.h @@ -949,7 +949,7 @@ namespace GridOutFlags * * Usage is simple: either you use the direct form * @code - * ofstream output_file("some_filename"); + * std::ofstream output_file("some_filename"); * GridOut().write_gnuplot (tria, output_file); * @endcode * if you know which format you want to have, or if you want the format to be @@ -957,8 +957,8 @@ namespace GridOutFlags * @code * GridOut::OutputFormat grid_format = * GridOut::parse_output_format(get_format_name_from_somewhere()); - * ofstream output_file("some_filename" - * + GridOut::default_suffix(output_format)); + * std::ofstream output_file("some_filename" + * + GridOut::default_suffix(output_format)); * GridOut().write (tria, output_file, output_format); * @endcode * The function get_output_format_names() provides a list of possible -- 2.39.5