diff options
Diffstat (limited to 'src/util/boolean_simplification.h')
-rw-r--r-- | src/util/boolean_simplification.h | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/src/util/boolean_simplification.h b/src/util/boolean_simplification.h index 062bf11b6..95d5fb435 100644 --- a/src/util/boolean_simplification.h +++ b/src/util/boolean_simplification.h @@ -1,11 +1,11 @@ /********************* */ -/*! \file bitvector.h +/*! \file boolean_simplification.h ** \verbatim - ** Original author: dejan - ** Major contributors: cconway - ** Minor contributors (to current version): mdeters + ** Original author: taking + ** Major contributors: none + ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys) + ** Copyright (c) 2009, 2010, 2011 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 @@ -107,10 +107,8 @@ public: } } -};/* class BitVector */ - - +};/* class BooleanSimplification */ }/* CVC4 namespace */ -#endif /* __CVC4__BITVECTOR_H */ +#endif /* __CVC4__BOOLEAN_SIMPLIFICATION_H */ |