From a994e7d10d26a00b408818b8b6a8f72598d40caa Mon Sep 17 00:00:00 2001
From: Johannes Kapfhammer <jkapfham@ethz.ch>
Date: Mon, 7 Oct 2019 15:30:11 +0200
Subject: [PATCH] replace basic_string with explicit template argument list

---
 include/bits/soi-dbg.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/bits/soi-dbg.hpp b/include/bits/soi-dbg.hpp
index f59fb0f..2935f21 100644
--- a/include/bits/soi-dbg.hpp
+++ b/include/bits/soi-dbg.hpp
@@ -83,6 +83,8 @@ inline std::string sanitize_type(std::string s) {
   f("__cxx11::", "");
   f("basic_string<char> ", "string");
   f("basic_string<char>", "string");
+  f("basic_string<char, char_traits<char>, allocator<char> ", "string");
+  f("basic_string<char, char_traits<char>, allocator<char>", "string");
   f("long int", "int");
   return s;
 }