diff --git a/src/core/model/enum.h b/src/core/model/enum.h
index 464a7c039..c18e7088a 100644
--- a/src/core/model/enum.h
+++ b/src/core/model/enum.h
@@ -21,6 +21,7 @@
 
 #include "attribute-accessor-helper.h"
 #include "attribute.h"
+#include "demangle.h"
 
 #include <algorithm> // find_if
 #include <list>
@@ -341,7 +342,7 @@ template <typename T>
 std::string
 EnumChecker<T>::GetValueTypeName() const
 {
-    return "ns3::EnumValue<" + std::string(typeid(T).name()) + ">";
+    return "ns3::EnumValue<" + Demangle(typeid(T).name()) + ">";
 }
 
 template <typename T>