X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=plugins.cc;h=c98cb5dd60a47fbafb70c922f1d68e42e5108030;hp=38493debc400ab95edb7d7a82f64eda055e0d2c3;hb=25d73096cfc14c655f94b01bb235cc5efd1d5696;hpb=a65e234b607444355eb6e34097ee55ba93d4c01b;ds=sidebyside diff --git a/plugins.cc b/plugins.cc index 38493deb..c98cb5dd 100644 --- a/plugins.cc +++ b/plugins.cc @@ -1,6 +1,4 @@ #include "plugins.h" -#include "scanalysis.h" -#include "scfence.h" ModelVector * registered_analysis; ModelVector * installed_analysis; @@ -8,8 +6,6 @@ ModelVector * installed_analysis; void register_plugins() { registered_analysis=new ModelVector(); installed_analysis=new ModelVector(); - registered_analysis->push_back(new SCAnalysis()); - registered_analysis->push_back(new SCFence()); } ModelVector * getRegisteredTraceAnalysis() {