diff options
-rw-r--r-- | src/init_def.cpp | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/src/init_def.cpp b/src/init_def.cpp index f85af086c..6370d1d09 100644 --- a/src/init_def.cpp +++ b/src/init_def.cpp @@ -28,16 +28,8 @@ void LibraryInitializer::initialize(const std::string& arg_string) *************************************************/ void LibraryInitializer::initialize(const InitializerOptions& args) { - try - { - Builtin_Modules modules(args); - initialize(args, modules); - } - catch(...) - { - deinitialize(); - throw; - } + Builtin_Modules modules(args); + initialize(args, modules); } /************************************************* |