Use explicit cast to change character type.

[pintos-anon] / src / lib / kernel / hash.c

diff --git a/src/lib/kernel/hash.c b/src/lib/kernel/hash.c
index 93813c08afc694030ee056ac760f43c942030038..3eda885383b7d396670b5a6f78dfc9e72af8ddf2 100644 (file)
--- a/src/lib/kernel/hash.c
+++ b/src/lib/kernel/hash.c
@@ -210,7 +210,7 @@ hash_bytes (const void *buf_, size_t size)
 unsigned
 hash_string (const char *s_) 
 {
-  const unsigned char *s = s_;
+  const unsigned char *s = (const unsigned char *) s_;
   unsigned hash;
 
   ASSERT (s != NULL);