From 1e5c08bb1abc1796b1040b18cc97cf05a4fedba3 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 3 Jun 2016 16:28:29 +0200
Subject: [PATCH] base: invert hex value padding to correct meaning

Fix #1996
---
 repos/base/src/lib/base/output.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/src/lib/base/output.cc b/repos/base/src/lib/base/output.cc
index 0d9b6dfb53..f8308275c8 100644
--- a/repos/base/src/lib/base/output.cc
+++ b/repos/base/src/lib/base/output.cc
@@ -81,7 +81,7 @@ void Genode::print(Output &output, Hex const &value)
 	if (value.prefix == Hex::PREFIX)
 		output.out_string("0x");
 
-	size_t const pad_len = value.pad ? value.digits : 0;
+	size_t const pad_len = (value.pad == Hex::PAD) ? value.digits : 0;
 
 	out_unsigned<unsigned long>(value.value, 16, pad_len,
 	                            [&] (char c) { output.out_char(c); });