From 19bf5b6e02169d18d1481876e50bfca7a29f4034 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Fri, 16 Nov 2012 15:05:51 -0800
Subject: [PATCH] model: correct plural ("bug" or "bugs")

---
 model.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 97e112f4..05e76798 100644
--- a/model.cc
+++ b/model.cc
@@ -373,7 +373,9 @@ bool ModelChecker::have_bug_reports() const
 void ModelChecker::print_bugs() const
 {
 	if (have_bug_reports()) {
-		printf("Bug report: %zu bugs detected\n", priv->bugs.size());
+		printf("Bug report: %zu bug%s detected\n",
+				priv->bugs.size(),
+				priv->bugs.size() > 1 ? "s" : "");
 		for (unsigned int i = 0; i < priv->bugs.size(); i++)
 			priv->bugs[i]->print();
 	}
-- 
2.34.1