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;