diff --git a/src/main.cpp b/src/main.cpp
index d6511325b4a3ba057812501adc810d1c4baacf2f..f6bec4d51f043af23cf6c3db655fa99d9b214fef 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -43,6 +43,7 @@ main(int argc, char* argv[])
       SynchronizerManager::create();
       parser(filename);
       SynchronizerManager::destroy();
+      finalize();
       return 0;
     }