var a01593 =
[
    [ "exception", "a01593.html#aa7385dbb698b742aa27e5d2ef679446b", null ],
    [ "~exception", "a01593.html#aa32f36080633fdf0fcd018adaeda860c", null ],
    [ "what", "a01593.html#a13ea7bcad59eab4379990a7322b17672", null ]
];