From 9c3ce58e573369c35a3408003ea9b2381618c39c Mon Sep 17 00:00:00 2001
From: Piotr Tworek <tworaz@tworaz.net>
Date: Wed, 4 Nov 2020 00:15:14 +0100
Subject: [PATCH] base: Drop unused "verbose" variable

Spotted when building the code with clang. This is not used anywhere in
the file.

Issue #3938
---
 repos/base/src/core/region_map_component.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repos/base/src/core/region_map_component.cc b/repos/base/src/core/region_map_component.cc
index 58784d500a..55b335b0c6 100644
--- a/repos/base/src/core/region_map_component.cc
+++ b/repos/base/src/core/region_map_component.cc
@@ -24,7 +24,6 @@
 #include <region_map_component.h>
 #include <dataspace_component.h>
 
-static const bool verbose             = false;
 static const bool verbose_page_faults = false;