minor fix for update-copyright.pl; ran update-copyright.pl on all sources; regenerated configure script

6 files changed, 14 insertions, 14 deletions

diff --git a/src/prop/cnf_conversion.h b/src/prop/cnf_conversion.h
index 1d0ac50bb..0adbda2db 100644
--- a/src/prop/cnf_conversion.h
+++ b/src/prop/cnf_conversion.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_conversion.h
- ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Original author: taking
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp
index e758301d4..79182617e 100644
--- a/src/prop/cnf_stream.cpp
+++ b/src/prop/cnf_stream.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_stream.cpp
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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
diff --git a/src/prop/cnf_stream.h b/src/prop/cnf_stream.h
index 247a5b096..9be5efcd3 100644
--- a/src/prop/cnf_stream.h
+++ b/src/prop/cnf_stream.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** cnf_stream.h
  ** Original author: taking
- ** Major contributors: none
+ ** Major contributors: dejan
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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
diff --git a/src/prop/prop_engine.cpp b/src/prop/prop_engine.cpp
index 8485a6e32..047daace8 100644
--- a/src/prop/prop_engine.cpp
+++ b/src/prop/prop_engine.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** prop_engine.cpp
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: taking
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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
diff --git a/src/prop/prop_engine.h b/src/prop/prop_engine.h
index 181c0288e..15664be75 100644
--- a/src/prop/prop_engine.h
+++ b/src/prop/prop_engine.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** prop_engine.h
  ** Original author: mdeters
- ** Major contributors: none
+ ** Major contributors: taking
  ** Minor contributors (to current version): dejan
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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
diff --git a/src/prop/sat.h b/src/prop/sat.h
index 9e216b126..9a22dfb29 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -4,7 +4,7 @@
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
- ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Copyright (c) 2009, 2010  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