update

[l4.git] / kernel / fiasco / src / kern / warn.cpp

diff --git a/kernel/fiasco/src/kern/warn.cpp b/kernel/fiasco/src/kern/warn.cpp
index 41d88da2efcc5dcad21b2cb04b02ecf7a3072869..d81f0a1bc6b914abe2a3be3f110f4bf7aa00bfb2 100644 (file)
--- a/kernel/fiasco/src/kern/warn.cpp
+++ b/kernel/fiasco/src/kern/warn.cpp
@@ -13,7 +13,7 @@ enum Warn_level
 
 #define WARNX(level,fmt...) \
   do {                                                 \
-       if (level   <= Config::warn_level)              \
+       if (level   <= (int)Config::Warn_level)         \
         printf("\n\033[31mKERNEL\033[m: Warning: " fmt);       \
      } while (0)