Make Mutex_Factory an abstract class, move the creation of the no-op

Default_Mutex to the new Default_Mutex_Factory

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() != "")