X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=main.cc;fp=main.cc;h=0d1fa1cc31bb93e3c8e740886f8464dc379d788d;hp=c93c5e92691edd07eb8824ddfad4dd887e1ce613;hb=a65e234b607444355eb6e34097ee55ba93d4c01b;hpb=7c510878f9679da10de79c289df402356b092396

diff --git a/main.cc b/main.cc
index c93c5e9..0d1fa1c 100644
--- a/main.cc
+++ b/main.cc
@@ -231,6 +231,8 @@ static void install_trace_analyses(ModelExecution *execution)
 		TraceAnalysis * ta=(*installedanalysis)[i];
 		ta->setExecution(execution);
 		model->add_trace_analysis(ta);
+		/** Call the installation event for each installed plugin */
+		ta->actionAtInstallation();
 	}
 }