diff options
Diffstat (limited to 'crawl-ref/source/dbg-maps.cc')
| -rw-r--r-- | crawl-ref/source/dbg-maps.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/dbg-maps.cc b/crawl-ref/source/dbg-maps.cc index a335a3732c..794524d69f 100644 --- a/crawl-ref/source/dbg-maps.cc +++ b/crawl-ref/source/dbg-maps.cc @@ -82,7 +82,7 @@ static bool mg_do_build_level(int niters) { if (kbhit() && key_is_escape(getchk())) { - mprf(MSGCH_WARN, "User requested cancel"); + mpr("User requested cancel", MSGCH_WARN); return false; } |