]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add another missing #include. 18164/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 25 Feb 2025 02:16:56 +0000 (19:16 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Tue, 25 Feb 2025 02:19:17 +0000 (19:19 -0700)
source/base/table_handler.cc

index 459a394ecd0f2dd1729fee75b016c136f0cf154b..9392ee363ef6194a76ebe0e00dcb1989d941db1d 100644 (file)
@@ -21,6 +21,7 @@
 #include <iomanip>
 #include <iostream>
 #include <sstream>
+#include <variant>
 
 
 DEAL_II_NAMESPACE_OPEN

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.