[PPL-devel] [GIT] ppl/ppl(devel): Added missing inclusion of "thread_safe.hh".
Roberto Bagnara
roberto.bagnara at bugseng.com
Sun Nov 1 17:15:31 CET 2020
Module: ppl/ppl
Branch: devel
Commit: ba0722934aac3da89d42c4f4e36530b083ade145
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba0722934aac3da89d42c4f4e36530b083ade145
Author: Roberto Bagnara <roberto.bagnara at 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>
More information about the PPL-devel
mailing list