We don't actually have a stdio.h header file. Our printf() functions are

[people/xl0/gpxe.git] / src / drivers / bitbash / i2c_bit.c

diff --git a/src/drivers/bitbash/i2c_bit.c b/src/drivers/bitbash/i2c_bit.c
index 1cf78c2..f0a9b93 100644 (file)
--- a/src/drivers/bitbash/i2c_bit.c
+++ b/src/drivers/bitbash/i2c_bit.c
@@ -16,7 +16,6 @@
  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  */
 
-#include <stdio.h>
 #include <stddef.h>
 #include <stdint.h>
 #include <errno.h>