X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=plugins.cc;h=38493debc400ab95edb7d7a82f64eda055e0d2c3;hp=b1d3cfb84e4be2a86d58ad7a2eed2df104f3fe7c;hb=HEAD;hpb=b090a4abc4915a9aa2a29787f76a6add79f838e2

diff --git a/plugins.cc b/plugins.cc
index b1d3cfb..38493de 100644
--- a/plugins.cc
+++ b/plugins.cc
@@ -1,5 +1,6 @@
 #include "plugins.h"
 #include "scanalysis.h"
+#include "scfence.h"
 
 ModelVector<TraceAnalysis *> * registered_analysis;
 ModelVector<TraceAnalysis *> * installed_analysis;
@@ -8,6 +9,7 @@ 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() {