diff --git a/hardware/esp8266com/esp8266/cores/esp8266/Print.h b/hardware/esp8266com/esp8266/cores/esp8266/Print.h
index 7366174f5..a0df267c1 100644
--- a/hardware/esp8266com/esp8266/cores/esp8266/Print.h
+++ b/hardware/esp8266com/esp8266/cores/esp8266/Print.h
@@ -63,7 +63,7 @@ class Print {
             return write((const uint8_t *) buffer, size);
         }
 
-        size_t printf(const char * format, ...);
+        size_t printf(const char * format, ...)  __attribute__ ((format (printf, 2, 3)));
         size_t print(const __FlashStringHelper *);
         size_t print(const String &);
         size_t print(const char[]);