From 64c16fab135aee171c2980ae9ec4914a162cfec0 Mon Sep 17 00:00:00 2001
From: Peter Schrammel <peter.schrammel@diffblue.com>
Date: Wed, 31 Jul 2019 22:04:33 +0100
Subject: [PATCH] Make prefix filter operator const

---
 src/util/prefix_filter.cpp | 2 +-
 src/util/prefix_filter.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/util/prefix_filter.cpp b/src/util/prefix_filter.cpp
index 488ae33d202..7689df7dd95 100644
--- a/src/util/prefix_filter.cpp
+++ b/src/util/prefix_filter.cpp
@@ -23,7 +23,7 @@ prefix_filtert::prefix_filtert(
 {
 }
 
-bool prefix_filtert::operator()(const std::string &value)
+bool prefix_filtert::operator()(const std::string &value) const
 {
   if(!included_prefixes.empty())
   {
diff --git a/src/util/prefix_filter.h b/src/util/prefix_filter.h
index 646250b9ca7..0b9d30e0705 100644
--- a/src/util/prefix_filter.h
+++ b/src/util/prefix_filter.h
@@ -27,7 +27,7 @@ class prefix_filtert
   /// but doesn't match a prefix in `excluded_prefixes`.
   /// An empty vector of `included_prefixes` is treated as 'match all'.
   /// An empty vector of `excluded_prefixes` is treated as 'match nothing'.
-  bool operator()(const std::string &value);
+  bool operator()(const std::string &value) const;
 
 protected:
   std::vector<std::string> included_prefixes;