From 82991ba37874e21f5b783511a36d2e96f4337969 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 4 Nov 2015 13:47:25 +0100
Subject: [PATCH] base: fix warning in console.cc

---
 repos/base/src/base/console/console.cc | 20 +++++++-------------
 1 file changed, 7 insertions(+), 13 deletions(-)

diff --git a/repos/base/src/base/console/console.cc b/repos/base/src/base/console/console.cc
index cb615c2a3e..5e56277aaa 100644
--- a/repos/base/src/base/console/console.cc
+++ b/repos/base/src/base/console/console.cc
@@ -54,13 +54,13 @@ class Format_command
 
 	public:
 
-		Type   type;           /* format argument type                    */
-		Length length;         /* format argument length                  */
-		int    padding;        /* min number of characters to print       */
-		int    base;           /* base of numeric arguments               */
-		int    zeropad   : 1;  /* pad with zero instead of space          */
-		int    uppercase : 1;  /* use upper case for hex numbers          */
-		int    consumed;       /* nb of consumed format string characters */
+		Type   type      = INVALID;  /* format argument type               */
+		Length length    = DEFAULT;  /* format argument length             */
+		int    padding   = 0;        /* min number of characters to print  */
+		int    base      = 10;       /* base of numeric arguments          */
+		bool   zeropad   = false;    /* pad with zero instead of space     */
+		bool   uppercase = false;    /* use upper case for hex numbers     */
+		int    consumed  = 0;        /* nb of consumed format string chars */
 
 		/**
 		 * Constructor
@@ -69,12 +69,6 @@ class Format_command
 		 */
 		explicit Format_command(const char *format)
 		{
-			consumed  = 0;
-			uppercase = 0;
-			base      = 10;
-			type      = INVALID;
-			length    = DEFAULT;
-
 			/* check for command begin and eat the character */
 			if (format[consumed] != '%') return;
 			if (!format[++consumed]) return;