fix mutex_trylock bug
[c11tester.git] / plugins.cc
index 38493de..c98cb5d 100644 (file)
@@ -1,6 +1,4 @@
 #include "plugins.h"
-#include "scanalysis.h"
-#include "scfence.h"
 
 ModelVector<TraceAnalysis *> * registered_analysis;
 ModelVector<TraceAnalysis *> * installed_analysis;
@@ -8,8 +6,6 @@ ModelVector<TraceAnalysis *> * installed_analysis;
 void register_plugins() {
        registered_analysis=new ModelVector<TraceAnalysis *>();
        installed_analysis=new ModelVector<TraceAnalysis *>();
-       registered_analysis->push_back(new SCAnalysis());
-       registered_analysis->push_back(new SCFence());
 }
 
 ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {