(snapshot) removing mbFinalize and usage of finalize
[c11tester.git] / main.cc
diff --git a/main.cc b/main.cc
index 66ad9f1d0a6b9f34b9b416d37d7890957984565d..b38f7ef4816d003f45d876133dacf0dc0d816bab 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -78,7 +78,6 @@ void real_main() {
        delete model;
 
        DEBUG("Exiting\n");
-       finalize();
 }
 
 int main_numargs;