From 0a509f7fee8356784318c488509cbee917100e89 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 28 May 2013 18:05:00 -0700
Subject: [PATCH] main: 'plug ins' -> 'plugins'

---
 main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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