diff options
Diffstat (limited to 'src/mem/ruby/filters/GenericBloomFilter.cc')
-rw-r--r-- | src/mem/ruby/filters/GenericBloomFilter.cc | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/mem/ruby/filters/GenericBloomFilter.cc b/src/mem/ruby/filters/GenericBloomFilter.cc index 8d6b18e9e..e04547fec 100644 --- a/src/mem/ruby/filters/GenericBloomFilter.cc +++ b/src/mem/ruby/filters/GenericBloomFilter.cc @@ -26,6 +26,7 @@ * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ +#include "base/str.hh" #include "mem/ruby/common/Address.hh" #include "mem/ruby/common/Global.hh" #include "mem/ruby/filters/BlockBloomFilter.hh" @@ -41,8 +42,12 @@ using namespace std; GenericBloomFilter::GenericBloomFilter(string config) { - string tail(config); - string head = string_split(tail,'_'); + string head, tail; +#ifndef NDEBUG + bool success = +#endif + split_first(config, head, tail, '_'); + assert(success); if (head == "LSB_Counting" ) { m_filter = new LSB_CountingBloomFilter(tail); |