diff --git a/frontend/services/geminiService.ts b/frontend/services/geminiService.ts
index d88cc33..77d35f5 100755
--- a/frontend/services/geminiService.ts
+++ b/frontend/services/geminiService.ts
@@ -128,7 +128,6 @@ export const analyzeProof = async (
                         break;
 
                     case 'model_fallback':
-                        console.log('[WS] model_fallback received, onNotification defined:', !!onNotification);
                         onNotification?.('The primary AI model is currently unavailable. Analysis is continuing with the backup model and may take longer than usual.');
                         break;