Index: generic/src/debug/print.c
===================================================================
--- generic/src/debug/print.c	(revision e16e036a378fc32c389e8e9d78aabfc0682401f2)
+++ generic/src/debug/print.c	(revision 91ef0d955c68876ca16fffef6f8e7416dfdefff5)
@@ -56,5 +56,5 @@
 	char c;
 	
-	while (c = str[i++])
+	while ((c = str[i++]))
 		putchar(c);
 }
@@ -291,5 +291,5 @@
 	spinlock_lock(&printflock);
 
-	while (c = fmt[i++]) {
+	while ((c = fmt[i++])) {
 		switch (c) {