Module: ppl/ppl Branch: devel Commit: ba0722934aac3da89d42c4f4e36530b083ade145 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba0722934aac3...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Nov 1 17:15:17 2020 +0100

Added missing inclusion of "thread_safe.hh".

---

src/fpu-ia32_inlines.hh | 1 + 1 file changed, 1 insertion(+)

diff --git a/src/fpu-ia32_inlines.hh b/src/fpu-ia32_inlines.hh index a32c065bb..695438333 100644 --- a/src/fpu-ia32_inlines.hh +++ b/src/fpu-ia32_inlines.hh @@ -24,6 +24,7 @@ site: http://bugseng.com/products/ppl/ . */ #ifndef PPL_fpu_ia32_inlines_hh #define PPL_fpu_ia32_inlines_hh 1

+#include "thread_safe.hh" #include <csetjmp> #include <csignal>