src/parser/parser.cpp

   1 /*********************                                           -*- C++ -*-  */
   2 /** parser.cpp
   3  ** This file is part of the CVC4 prototype.
   4  **
   5  ** Parser implementation.
   6  **
   7  ** The Analysis of Computer Systems Group (ACSys)
   8  ** Courant Institute of Mathematical Sciences
   9  ** New York University
  10  **/
  11
  12 #include "parser.h"
  13 #include "parser_temp.h"
  14 #include "parser_exception.h"
  15
  16 namespace CVC4 {
  17
  18 ParserTemp *parserTemp;
  19
  20 }/* CVC4 namespace */
  21