model: correct plural ("bug" or "bugs")
authorBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 23:05:51 +0000 (15:05 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 16 Nov 2012 23:05:51 +0000 (15:05 -0800)
model.cc

index 97e112f..05e7679 100644 (file)
--- 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()) {
 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();
        }
                for (unsigned int i = 0; i < priv->bugs.size(); i++)
                        priv->bugs[i]->print();
        }