diff --git a/mps/code/eventcnv.c b/mps/code/eventcnv.c
index d381c47e3fc..99fa7b60642 100644
--- a/mps/code/eventcnv.c
+++ b/mps/code/eventcnv.c
@@ -226,7 +226,7 @@ static void readLog(FILE *stream)
     Event event = &eventUnion;
     EventCode code;
     Res res;
-    Bool eof;
+    Bool eof = FALSE; /* suppress warnings about uninitialized use */
 
     /* Read and parse event. */
     res = eventRead(&eof, event, stream);