update

[l4.git] / l4 / pkg / bootstrap / server / src / libc_support+.cc

diff --git a/l4/pkg/bootstrap/server/src/libc_support+.cc b/l4/pkg/bootstrap/server/src/libc_support+.cc
index 952a272487631d075b0beb221bc70530a200df4b..7e959d6a659538e4356dc2f33d9c2defd0da1487 100644 (file)
--- a/l4/pkg/bootstrap/server/src/libc_support+.cc
+++ b/l4/pkg/bootstrap/server/src/libc_support+.cc
@@ -247,8 +247,7 @@ getchar(void)
 
   do
     c = uart()->get_char(0);
-  while (c == -1)
-    ;
+  while (c == -1);
   return c;
 }