diff options
-rw-r--r-- | 091socket.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/091socket.cc b/091socket.cc index 150074f1..ee76d3c6 100644 --- a/091socket.cc +++ b/091socket.cc @@ -312,7 +312,7 @@ case _CLOSE_SOCKET: { break; } if (!is_mu_number(inst.ingredients.at(0))) { - raise << maybe(get(Recipe, r).name) << "first ingredient of '$close-socket' should be a character, but got '" << to_string(inst.ingredients.at(0)) << "'\n" << end(); + raise << maybe(get(Recipe, r).name) << "first ingredient of '$close-socket' should be a number, but got '" << to_string(inst.ingredients.at(0)) << "'\n" << end(); break; } break; |