var parser__exception_8h =
[
    [ "CVC4::parser::ParserException", "classCVC4_1_1parser_1_1ParserException.html", "classCVC4_1_1parser_1_1ParserException" ],
    [ "CVC4::parser::ParserEndOfFileException", "classCVC4_1_1parser_1_1ParserEndOfFileException.html", "classCVC4_1_1parser_1_1ParserEndOfFileException" ]
];