From: Brian Norris <banorris@uci.edu>
Date: Fri, 16 Nov 2012 23:05:51 +0000 (-0800)
Subject: model: correct plural ("bug" or "bugs")
X-Git-Tag: oopsla2013~522
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=19bf5b6e02169d18d1481876e50bfca7a29f4034;p=model-checker.git

model: correct plural ("bug" or "bugs")
---

diff --git a/model.cc b/model.cc
index 97e112f..05e7679 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();
 	}