The unified diff between revisions [77e3623e..] and [395d2422..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'src/init_def.cpp'

#
#
# patch "src/init_def.cpp"
#  from [eeea722a966e382b9b30c4b44c3a55eb0acd0b10]
#    to [032c0a1f7bd132c86506da3f4756a1f39a49e6aa]
#
============================================================
--- src/init_def.cpp	eeea722a966e382b9b30c4b44c3a55eb0acd0b10
+++ src/init_def.cpp	032c0a1f7bd132c86506da3f4756a1f39a49e6aa
@@ -18,8 +18,10 @@ void LibraryInitializer::initialize(cons
    {
    try
       {
-      set_global_state(new Library_State(args, modules));
+      set_global_state(new Library_State);

+      global_state().initialize(args, modules);
+
       if(args.fips_mode() || args.self_test())
          {
          if(!FIPS140::passes_self_tests())