src/theory/theory.cpp

   1 /*********************                                           -*- C++ -*-  */
   2 /** theory.cpp
   3  ** This file is part of the CVC4 prototype.
   4  ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
   5  ** Courant Institute of Mathematical Sciences
   6  ** New York University
   7  ** See the file COPYING in the top-level source directory for licensing
   8  ** information.
   9  **
  10  **/
  11
  12 #include "theory/theory.h"
  13
  14 namespace CVC4 {
  15
  16 }/* CVC4 namespace */