]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add missing header 11006/head
authorBruno Turcksin <bruno.turcksin@gmail.com>
Mon, 5 Oct 2020 15:55:49 +0000 (15:55 +0000)
committerBruno Turcksin <bruno.turcksin@gmail.com>
Mon, 5 Oct 2020 15:55:49 +0000 (15:55 +0000)
source/base/table_handler.cc

index b2405e5828a3eba861ee1cd010eeef795a366085..b62bf9b315ac1307949a7cf5fd8b6dc9d626d659 100644 (file)
@@ -17,6 +17,7 @@
 
 #include <boost/io/ios_state.hpp>
 
+#include <algorithm>
 #include <iomanip>
 #include <iostream>
 #include <sstream>

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.