var option__exception_8h =
[
    [ "CVC4::OptionException", "classCVC4_1_1OptionException.html", "classCVC4_1_1OptionException" ],
    [ "CVC4::UnrecognizedOptionException", "classCVC4_1_1UnrecognizedOptionException.html", "classCVC4_1_1UnrecognizedOptionException" ]
];