var a00641 = [ [ "~bad_weak_ptr", "a00641.html#a325a418c0b837ffd9acfcaaaf6b358e0", null ], [ "what", "a00641.html#adfea1fffacfb8c9c39f374e16ec7315c", null ] ];
var a00641 = [ [ "~bad_weak_ptr", "a00641.html#a325a418c0b837ffd9acfcaaaf6b358e0", null ], [ "what", "a00641.html#adfea1fffacfb8c9c39f374e16ec7315c", null ] ];