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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Aug 9 19:49:29 2020 +0200

Fixed.

---

src/Init.cc | 2 -- src/Init_defs.hh | 3 --- 2 files changed, 5 deletions(-)

diff --git a/src/Init.cc b/src/Init.cc index 99f54cd59..c88baf202 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -155,7 +155,6 @@ Parma_Polyhedra_Library_thread_initializer_p;

} // namespace

-#ifdef PPL_NO_AUTOMATIC_INITIALIZATION void initialize_aux() { if (Parma_Polyhedra_Library_initializer_p == nullptr) { @@ -169,7 +168,6 @@ finalize_aux() { delete Parma_Polyhedra_Library_initializer_p; Parma_Polyhedra_Library_initializer_p = nullptr; } -#endif

void thread_initialize_aux() { diff --git a/src/Init_defs.hh b/src/Init_defs.hh index b42265b2a..f998bfedb 100644 --- a/src/Init_defs.hh +++ b/src/Init_defs.hh @@ -61,11 +61,8 @@ void restore_pre_PPL_rounding();

namespace Implementation {

-#ifdef PPL_NO_AUTOMATIC_INITIALIZATION void initialize_aux(); void finalize_aux(); -#endif - void thread_initialize_aux(); void thread_finalize_aux();