diff --git a/src/plugins/coreplugin/editormanager/editormanager.cpp b/src/plugins/coreplugin/editormanager/editormanager.cpp
index a12c61eb4af..2374db934de 100644
--- a/src/plugins/coreplugin/editormanager/editormanager.cpp
+++ b/src/plugins/coreplugin/editormanager/editormanager.cpp
@@ -1236,8 +1236,9 @@ void EditorManagerPrivate::saveSettings()
                                    def.maxRecentFiles);
 
     qsettings->setValueWithDefault(fileSystemCaseSensitivityKey,
-                                   HostOsInfo::fileNameCaseSensitivity(),
-                                   OsSpecificAspects::fileNameCaseSensitivity(HostOsInfo::hostOs()));
+                                   int(HostOsInfo::fileNameCaseSensitivity()),
+                                   int(OsSpecificAspects::fileNameCaseSensitivity(
+                                       HostOsInfo::hostOs())));
     qsettings->setValueWithDefault(preferredEditorFactoriesKey,
                                    toMap(userPreferredEditorFactories()));
 }