From: Brian Norris <banorris@uci.edu>
Date: Wed, 29 May 2013 01:05:00 +0000 (-0700)
Subject: main: 'plug ins' -> 'plugins'
X-Git-Tag: oopsla2013~7^2~3
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=0a509f7fee8356784318c488509cbee917100e89

main: 'plug ins' -> 'plugins'
---

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());