Make setting a breakpoint easier.

2019-05-10 11:12:12 +01:00 · 2019-05-10 11:12:12 +01:00 · e77d096412
parent f6e07f575a
commit e77d096412
1 changed files with 2 additions and 1 deletions
--- a/common/tool/tool_manager.cpp
+++ b/common/tool/tool_manager.cpp
@ -71,7 +71,8 @@ struct TOOL_MANAGER::TOOL_STATE

    ~TOOL_STATE()
    {
-        wxASSERT( stateStack.empty() );
+        if( !stateStack.empty() )
+            wxFAIL;
    }

    /// The tool itself