From 7a766a23eb6239c9a2e3518e6efe3e22ecb51f59 Mon Sep 17 00:00:00 2001
From: Bryn Lloyd <lloyd@itis.swiss>
Date: Thu, 1 Jun 2023 14:01:57 +0200
Subject: [PATCH] disable CleanupDemangledName

---
 libsrc/core/utils.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/libsrc/core/utils.cpp b/libsrc/core/utils.cpp
index 062114e6..7eda05f5 100644
--- a/libsrc/core/utils.cpp
+++ b/libsrc/core/utils.cpp
@@ -17,6 +17,7 @@ namespace ngcore
 {
     namespace detail
     {
+      /*
         // see https://github.com/RobotLocomotion/drake/blob/master/common/nice_type_name.cc
         static const auto demangle_regexes =
             std::array<std::pair<std::regex, std::string>, 8>{
@@ -39,10 +40,11 @@ namespace ngcore
                 {std::regex("\\bstd::basic_string<char,std::char_traits<char>,"
                         "std::allocator<char>>"), "std::string"}
             };
+        */
         std::string CleanupDemangledName( std::string s )
         {
-            for(const auto & [r, sub] : demangle_regexes)
-                s = std::regex_replace (s,r,sub);
+            //for(const auto & [r, sub] : demangle_regexes)
+            //    s = std::regex_replace (s,r,sub);
 
             return s;
         }