Fix some new printf bugs.

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

diff --git a/src/lib/lib.c b/src/lib/lib.c
index 46f7f2669071cfb8936d0321993353dea8157ae1..f353d624f35010a4bbe3e075809468169ee621b2 100644 (file)
--- a/src/lib/lib.c
+++ b/src/lib/lib.c
@@ -469,8 +469,8 @@ struct integer_base
 
 static const struct integer_base base_d = {10, "0123456789", "", 3};
 static const struct integer_base base_o = {8, "01234567", "0", 3};
-static const struct integer_base base_x = {16, "0123456789acbdef", "", 4};
-static const struct integer_base base_X = {16, "0123456789ABCDEF", "", 4};
+static const struct integer_base base_x = {16, "0123456789abcdef", "0x", 4};
+static const struct integer_base base_X = {16, "0123456789ABCDEF", "0x", 4};
 
 static const char *parse_conversion (const char *format,
                                      struct printf_conversion *,