From: Bruno Turcksin Date: Tue, 1 Nov 2016 19:33:48 +0000 (-0400) Subject: Add an include file necessary when not using multithreading. X-Git-Tag: v8.5.0-rc1~510^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=65094025580fc94af0be0e031143c84c01fa7b7a;p=dealii.git Add an include file necessary when not using multithreading. --- diff --git a/source/base/exceptions.cc b/source/base/exceptions.cc index 405c597cc1..c10f3baeb9 100644 --- a/source/base/exceptions.cc +++ b/source/base/exceptions.cc @@ -16,6 +16,7 @@ #include #include #include +#include #include #include #include