mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 02:40:08 +00:00
base: Drop unused "verbose" variable
Spotted when building the code with clang. This is not used anywhere in the file. Issue #3938
This commit is contained in:
parent
d4a3aa7eda
commit
9c3ce58e57
@ -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;
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user