X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=plugins.cc;h=c98cb5dd60a47fbafb70c922f1d68e42e5108030;hp=b1d3cfb84e4be2a86d58ad7a2eed2df104f3fe7c;hb=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac;hpb=b090a4abc4915a9aa2a29787f76a6add79f838e2 diff --git a/plugins.cc b/plugins.cc index b1d3cfb8..c98cb5dd 100644 --- a/plugins.cc +++ b/plugins.cc @@ -1,5 +1,4 @@ #include "plugins.h" -#include "scanalysis.h" ModelVector * registered_analysis; ModelVector * installed_analysis; @@ -7,7 +6,6 @@ ModelVector * installed_analysis; void register_plugins() { registered_analysis=new ModelVector(); installed_analysis=new ModelVector(); - registered_analysis->push_back(new SCAnalysis()); } ModelVector * getRegisteredTraceAnalysis() {