Remove useless header files

doctest · Aug 5, 2022 · b70116e · b70116e
1 parent 2962dbd
commit b70116e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doctest/extensions/doctest_mpi.h b/doctest/extensions/doctest_mpi.h
@@ -10,7 +10,7 @@
 #include "mpi_sub_comm.h"
 #include "mpi_reporter.h"
 #include <unordered_map>
-#include <exception>
+
 
 namespace doctest {