]> https://gitweb.dealii.org/ - dealii.git/commitdiff
source/base/parsed_convergence_table.cc: add a missing header 18334/head
authorMatthias Maier <tamiko@43-1.org>
Mon, 7 Apr 2025 01:55:56 +0000 (20:55 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 7 Apr 2025 01:55:56 +0000 (20:55 -0500)
source/base/parsed_convergence_table.cc

index 81533d9af37a55b651255c4b4e7a914ea47d9979..ef483e1b5ba70eb9a578294575880f6acdbb4409 100644 (file)
@@ -17,6 +17,7 @@
 #include <deal.II/base/patterns.h>
 #include <deal.II/base/utilities.h>
 
+#include <fstream>
 #include <set>
 
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.