diff options
Diffstat (limited to 'src/include')
-rw-r--r-- | src/include/cvc4.h | 4 | ||||
-rw-r--r-- | src/include/cvc4_private.h | 4 | ||||
-rw-r--r-- | src/include/cvc4_private_library.h | 4 | ||||
-rw-r--r-- | src/include/cvc4_public.h | 4 | ||||
-rw-r--r-- | src/include/cvc4parser_private.h | 4 | ||||
-rw-r--r-- | src/include/cvc4parser_public.h | 4 |
6 files changed, 6 insertions, 18 deletions
diff --git a/src/include/cvc4.h b/src/include/cvc4.h index 6523f6b32..11ef14dca 100644 --- a/src/include/cvc4.h +++ b/src/include/cvc4.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/include/cvc4_private.h b/src/include/cvc4_private.h index e41a13979..234a1808e 100644 --- a/src/include/cvc4_private.h +++ b/src/include/cvc4_private.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/include/cvc4_private_library.h b/src/include/cvc4_private_library.h index b0aff2c64..728d60420 100644 --- a/src/include/cvc4_private_library.h +++ b/src/include/cvc4_private_library.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/include/cvc4_public.h b/src/include/cvc4_public.h index 398ec57e2..6c546a147 100644 --- a/src/include/cvc4_public.h +++ b/src/include/cvc4_public.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/include/cvc4parser_private.h b/src/include/cvc4parser_private.h index bb4354178..da128e858 100644 --- a/src/include/cvc4parser_private.h +++ b/src/include/cvc4parser_private.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** diff --git a/src/include/cvc4parser_public.h b/src/include/cvc4parser_public.h index e86356942..7c118a24d 100644 --- a/src/include/cvc4parser_public.h +++ b/src/include/cvc4parser_public.h @@ -5,9 +5,7 @@ ** Major contributors: none ** Minor contributors (to current version): none ** This file is part of the CVC4 prototype. - ** Copyright (c) 2009, 2010, 2011 The Analysis of Computer Systems Group (ACSys) - ** Courant Institute of Mathematical Sciences - ** New York University + ** Copyright (c) 2009-2012 New York University and The University of Iowa ** See the file COPYING in the top-level source directory for licensing ** information.\endverbatim ** |