X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=32c153da565d209d4397fccd9148c96819d177d8;hb=0a509f7fee8356784318c488509cbee917100e89;hp=1245b60e9ff8e48941929b8d06ff518f26719287;hpb=741d3d1160343d8545a783a2d05d3d0562b1c737;p=model-checker.git

diff --git a/main.cc b/main.cc
index 1245b60..32c153d 100644
--- a/main.cc
+++ b/main.cc
@@ -94,7 +94,7 @@ static void print_usage(const char *program_name, struct model_params *params)
 		params->enabledcount,
 		params->bound,
 		params->uninitvalue);
-	model_print("Analysis plug ins:\n");
+	model_print("Analysis plugins:\n");
 	for(unsigned int i=0;i<registeredanalysis->size();i++) {
 		TraceAnalysis * analysis=(*registeredanalysis)[i];
 		model_print("%s\n", analysis->name());