Mario: silence some warnings

2021-05-31 14:30:28 +02:00
parent 5d20757d43
commit 808f392119
3 changed files with 15 additions and 5 deletions
@@ -375,7 +375,7 @@ void selectNextTool() {
        break;
    }
    int addition = 1;
-    if ( global_vars.tool.index % multiplier == ( multiplier - 1 ) )
+    if ( global_vars.tool.index % multiplier == static_cast<uint64_t>( multiplier - 1 ) )
        addition = multiplier + 1;
    if ( global_vars.tool.index == max_index )
        return;
@@ -806,6 +806,7 @@ void populateToolGrid(
                tool_store.push_back( createMario(
                    global_vars.current_world_type, renderer, 0, 0 ) );
            else
+                // fall through
            case ToolType::BLOCK:
            case ToolType::MOD:
                tool_store.push_back( createTerrainBlock(