Specify std namespace

diff --git a/include/deal.II/grid/grid_out.h b/include/deal.II/grid/grid_out.h
index c16398b2113015a77406a4d8cadf181f93599d50..6af4b566b7de376f929b3e72e7c11a0a45830c7f 100644 (file)
--- 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 <tt>get_output_format_names()</tt> provides a list of possible