var a00638 =
[
    [ "bad_exception", "a00638.html#aa0e3e09350d3274bb4e4cd9e58ed8687", null ],
    [ "~bad_exception", "a00638.html#af7b1994016fe27d3c75d17c05233aa65", null ],
    [ "what", "a00638.html#a01e2c7a741b840a9ea27789d50e9d65c", null ]
];