From 921a574074f3342ee8b69f39c1c257ce539f867b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 11 Jun 2019 19:50:37 -0700 Subject: [PATCH] mutex allocation #2336 Signed-off-by: Nikolaj Bjorner --- src/util/CMakeLists.txt | 2 ++ src/util/rlimit.cpp | 2 +- src/util/rlimit.h | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 5b1f336d1..5346b9770 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -63,10 +63,12 @@ z3_add_component(util EXTRA_REGISTER_MODULE_HEADERS env_params.h MEMORY_INIT_FINALIZER_HEADERS + cooperate.h debug.h gparams.h prime_generator.h rational.h + rlimit.h symbol.h trace.h ) diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp index 629514fc2..f1d1fcb36 100644 --- a/src/util/rlimit.cpp +++ b/src/util/rlimit.cpp @@ -23,7 +23,7 @@ Revision History: static mutex* s_mux = nullptr; -void initialize_rlimits() { +void initialize_rlimit() { s_mux = new mutex; } void finalize_rlimit() { diff --git a/src/util/rlimit.h b/src/util/rlimit.h index 8215e8e02..0bc8b0f3e 100644 --- a/src/util/rlimit.h +++ b/src/util/rlimit.h @@ -21,7 +21,7 @@ Revision History: #include "util/vector.h" -void initialize_rlimits(); +void initialize_rlimit(); void finalize_rlimit(); /* ADD_INITIALIZER('initialize_rlimit();')