Update library/Core.cpp

2023-02-25 11:00:51 -08:00 · 2023-02-25 11:00:51 -08:00 · c7f6ee57d7
parent 0a65c423ce
commit c7f6ee57d7
1 changed files with 1 additions and 1 deletions
--- a/library/Core.cpp
+++ b/library/Core.cpp
@ -239,7 +239,7 @@ void fHKthread(void * iodata)
    bool keep_going = true;
    while(keep_going)
    {
-        std::string stuff = core->getHotkeyCmd(keep_going); // waits on std::mutex!
+        std::string stuff = core->getHotkeyCmd(keep_going); // waits on mutex!
        if(!stuff.empty())
        {
            color_ostream_proxy out(core->getConsole());