From 90eda3da47ed419d65bbafc072ed3a0087e0744f Mon Sep 17 00:00:00 2001
From: berniev <bernievbb@icloud.com>
Date: Thu, 1 Dec 2022 05:01:52 +1000
Subject: [PATCH] cast max

---
 src/Gui/UserSettings.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Gui/UserSettings.cpp b/src/Gui/UserSettings.cpp
index 21736c9f42..beb417d952 100644
--- a/src/Gui/UserSettings.cpp
+++ b/src/Gui/UserSettings.cpp
@@ -72,7 +72,7 @@ int WorkbenchSwitcher::getIndex()
     auto hGrp = getWSParameter();
     std::string pos = hGrp->GetASCII("WSPosition", "WSToolbar");
     auto wsPositions = values();
-    int index = std::max(0, wsPositions.indexOf(pos));
+    int index = std::max(0, static_cast<int>(wsPositions.indexOf(pos)));
     return index;
 }