var a01621 =
[
    [ "bad_cast", "a01621.html#a0298049371f532b05443577d1a7916b1", null ],
    [ "~bad_cast", "a01621.html#a867d613b1752512539e04d4231521ab7", null ],
    [ "what", "a01621.html#a06dd9ba98e54d468ba243e7354c52714", null ]
];