diff options
Diffstat (limited to 'src/include/decision_engine.h')
-rw-r--r-- | src/include/decision_engine.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/include/decision_engine.h b/src/include/decision_engine.h index 8745adad5..ec0172535 100644 --- a/src/include/decision_engine.h +++ b/src/include/decision_engine.h @@ -1,17 +1,19 @@ /********************* -*- C++ -*- */ /** decision_engine.h ** This file is part of the CVC4 prototype. - ** - ** The Analysis of Computer Systems Group (ACSys) + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) ** Courant Institute of Mathematical Sciences ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** **/ -#include "literal.h" - #ifndef __CVC4_DECISION_ENGINE_H #define __CVC4_DECISION_ENGINE_H +#include "literal.h" + namespace CVC4 { // In terms of abstraction, this is below (and provides services to) |