Adding fixes for the fork based implementation, also removed some redundant code...

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index e8a2b3317dc4ebedc235735fef32d272259d4215..be4c58db7aac6411dd77ed26d7835d42f9f92479 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -65,6 +65,7 @@ void real_main() {
        delete model;
 
        DEBUG("Exiting\n");
+       finalize();
 }
 
 int main_numargs;