[PPL-devel] [GIT] ppl/ppl(devel): Added missing inclusion of "thread_safe.hh".

1 Nov 2020

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>

    