var a01625 =
[
    [ "bad_typeid", "a01625.html#a693834a64bbefdd2a558397c6e3c3890", null ],
    [ "~bad_typeid", "a01625.html#a99a575643bf283a18f03803dbf46ea3f", null ],
    [ "what", "a01625.html#ad423bab305d43240e9798c55778ca199", null ]
];