From 449454efdb8f5ab6bc025ec98b41d16cef9b6e43 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 23 Oct 2013 16:41:51 -0700 Subject: [PATCH] fix(debug): remove typeid information from assertion, the names are mangled and are not very useful Signed-off-by: Leonardo de Moura --- src/util/debug.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/util/debug.h b/src/util/debug.h index 6929e464d3..881976d41a 100644 --- a/src/util/debug.h +++ b/src/util/debug.h @@ -108,7 +108,8 @@ public: }; namespace debug { template void display_var(char const * name, T const & value) { - std::cerr << name << " : " << typeid(value).name() << " := " + // commented typeid(value).name() since the name is mangled + std::cerr << name << /* " : " << typeid(value).name() << */ " := " << std::boolalpha << value << std::noboolalpha << std::endl; } }