update

[l4.git] / kernel / fiasco / src / boot / boot_libc_glue.cc

diff --git a/kernel/fiasco/src/boot/boot_libc_glue.cc b/kernel/fiasco/src/boot/boot_libc_glue.cc
index 1132075083577823396487580de7357a36b26b25..1b42db4482f154d2cac922e381b06272cf5243a4 100644 (file)
--- a/kernel/fiasco/src/boot/boot_libc_glue.cc
+++ b/kernel/fiasco/src/boot/boot_libc_glue.cc
@@ -8,10 +8,10 @@ unsigned long __libc_backend_printf_lock()
 void __libc_backend_printf_unlock(unsigned long)
 {}
 
-int __libc_backend_outs( const char *s, size_t len )
+int __libc_backend_outs(const char *s, size_t len)
 {
-  size_t i;
-  for (i = 0;i<len;++i)
+  size_t i = 0;
+  for (; i < len; ++i)
     direct_cons_putchar(s[i]);
   return 1;
 }