diff --git a/hermit/usr/tests/thr_hello.c b/hermit/usr/tests/thr_hello.c index 3b2048cdc..331462bd9 100644 --- a/hermit/usr/tests/thr_hello.c +++ b/hermit/usr/tests/thr_hello.c @@ -20,10 +20,10 @@ int main(int argc, char** argv) for(i=0; i