From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 19 Jul 2005 04:26:46 +0000 (+0000)
Subject: Use explicit cast to change character type.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=b29bd116ac167431f9f29b1f931289b73c6bdfbf

Use explicit cast to change character type.
---

diff --git a/src/lib/kernel/hash.c b/src/lib/kernel/hash.c
index 93813c0..3eda885 100644
--- 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);