| author | Raj Bhattacharjea <raj.b@gatech.edu> |
| Thu Aug 14 13:04:18 2008 -0400 (18 months ago) | |
| changeset 3547 | e5c71362e669 |
| parent 3546 | b1744fac67da |
| child 3548 | a88c0d54e43b |
1.1 --- a/src/core/type-id.h Wed Aug 13 10:11:41 2008 -0700 1.2 +++ b/src/core/type-id.h Thu Aug 14 13:04:18 2008 -0400 1.3 @@ -96,7 +96,7 @@ 1.4 * No two instances can share the same name. The name is expected to be 1.5 * the full c++ typename of associated c++ object. 1.6 */ 1.7 - TypeId (const char * name); 1.8 + explicit TypeId (const char * name); 1.9 1.10 /** 1.11 * \returns the parent of this TypeId