delete plugins

[c11tester.git] / plugins.cc

diff --git a/plugins.cc b/plugins.cc
deleted file mode 100644 (file)
index c98cb5d..0000000
--- a/plugins.cc
+++ /dev/null
@@ -1,17 +0,0 @@
-#include "plugins.h"
-
-ModelVector<TraceAnalysis *> * registered_analysis;
-ModelVector<TraceAnalysis *> * installed_analysis;
-
-void register_plugins() {
-       registered_analysis=new ModelVector<TraceAnalysis *>();
-       installed_analysis=new ModelVector<TraceAnalysis *>();
-}
-
-ModelVector<TraceAnalysis *> * getRegisteredTraceAnalysis() {
-       return registered_analysis;
-}
-
-ModelVector<TraceAnalysis *> * getInstalledTraceAnalysis() {
-       return installed_analysis;
-}