diff --git a/src/tooldef.cpp b/src/tooldef.cpp index e9fe13473..3b7863ba1 100644 --- a/src/tooldef.cpp +++ b/src/tooldef.cpp @@ -139,7 +139,7 @@ public: bool alias_removed = (m_aliases.erase(toolname) != 0); if(alias_removed) infostream<<"tdef: erased alias "<