author | Raj Bhattacharjea <raj.b@gatech.edu> |
Thu, 14 Aug 2008 13:04:18 -0400 | |
changeset 3531 | e5c71362e669 |
parent 3530 | b1744fac67da |
child 3532 | a88c0d54e43b |
--- a/src/core/type-id.h Wed Aug 13 10:11:41 2008 -0700 +++ b/src/core/type-id.h Thu Aug 14 13:04:18 2008 -0400 @@ -96,7 +96,7 @@ * No two instances can share the same name. The name is expected to be * the full c++ typename of associated c++ object. */ - TypeId (const char * name); + explicit TypeId (const char * name); /** * \returns the parent of this TypeId