1 files changed, 1 insertions, 1 deletions
diff --git a/console.c b/console.c
index d228edb..86c080e 100644
--- a/console.c
+++ b/console.c
@@ -113,7 +113,7 @@ void
 cprintf(char *fmt, ...)
 {
   int i, state = 0, c;
-  unsigned int *ap = (unsigned int *) &fmt + 1;
+  unsigned int *ap = (unsigned int *)(void*)&fmt + 1;
 
   if(use_console_lock)
     acquire(&console_lock);