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

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