diff options
Diffstat (limited to 'src/init_def.cpp')
-rw-r--r-- | src/init_def.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/init_def.cpp b/src/init_def.cpp index 21cc07aaa..05631127c 100644 --- a/src/init_def.cpp +++ b/src/init_def.cpp @@ -41,7 +41,11 @@ void initialize(const InitializerOptions& args) set_global_state( new Library_State( - args.thread_safe() ? modules.mutex_factory() : new Mutex_Factory)); + args.thread_safe() ? + modules.mutex_factory() : + new Default_Mutex_Factory + ) + ); global_state().config().load_defaults(); if(args.config_file() != "") |