model: spelling mistake

diff --git a/model.cc b/model.cc
index f2d40fe6f724022ee2b50c783df310ce0b47ff99..c63d9d9ced8db0b57100028540f3d4930e9bbf0e 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1361,7 +1361,7 @@ void ModelChecker::print_infeasibility(const char *prefix) const
        if (promises_expired())
                ptr += sprintf(ptr, "[promise expired]");
        if (promises->size() != 0)
-               ptr += sprintf(ptr, "[unrevolved promise]");
+               ptr += sprintf(ptr, "[unresolved promise]");
        if (ptr != buf)
                model_print("%s: %s\n", prefix ? prefix : "Infeasible", buf);
 }