diff --git a/proton b/proton index 7eb51faa..2cd43115 100755 --- a/proton +++ b/proton @@ -1324,7 +1324,7 @@ class Session: used_user_settings = {} if file_exists(g_proton.user_settings_file, follow_symlinks=True): try: - import user_settings + import user_settings # pyright: ignore [reportMissingImports] for key, value in user_settings.user_settings.items(): if key not in self.env: self.env[key] = value