remove STL vector

[c11tester.git] / main.cc

diff --git a/main.cc b/main.cc
index 12fc3e17c717cdc04c300bb19d111bb8a3627f7e..5396823334df9a0b47f3077f3c352cc6774e7e1b 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -199,10 +199,8 @@ int main(int argc, char **argv)
        parse_options(params, main_argc, main_argv);
 
 
-       snapshot_stack_init();
        install_trace_analyses(model->get_execution());
 
-       snapshot_record(0);
        model->startMainThread();
        DEBUG("Exiting\n");
 }