1 /********************* -*- C++ -*- */
3 ** This file is part of the CVC4 prototype.
5 ** Parser implementation.
7 ** The Analysis of Computer Systems Group (ACSys)
8 ** Courant Institute of Mathematical Sciences
13 #include "parser_temp.h"
14 #include "parser_exception.h"
18 ParserTemp
*parserTemp
;