From bbb14ef3df2927b43b86ee31691f8ebe44c09293 Mon Sep 17 00:00:00 2001
From: Johannes Kapfhammer <jkapfham@ethz.ch>
Date: Mon, 7 Oct 2019 13:18:07 +0200
Subject: [PATCH] fix trailing space after string in nested types

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

diff --git a/include/bits/soi-dbg.hpp b/include/bits/soi-dbg.hpp
index f9ae4b5..d580601 100644
--- a/include/bits/soi-dbg.hpp
+++ b/include/bits/soi-dbg.hpp
@@ -81,6 +81,7 @@ std::string sanitize_type(std::string s) {
   f("std::", "");
   f("__debug::", "");
   f("__cxx11::", "");
+  f("basic_string<char> ", "string");
   f("basic_string<char>", "string");
   f("long int", "int");
   return s;