reran update-copyright.pl to get new contributors and add new header comments to files without them

13 files changed, 19 insertions, 19 deletions

diff --git a/src/expr/attribute.h b/src/expr/attribute.h
index 358755192..c79f4da80 100644
--- a/src/expr/attribute.h
+++ b/src/expr/attribute.h
@@ -2,7 +2,7 @@
 /** attribute.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/attribute_internals.h b/src/expr/attribute_internals.h
index d50c2284d..0ae2cdc22 100644
--- a/src/expr/attribute_internals.h
+++ b/src/expr/attribute_internals.h
@@ -2,7 +2,7 @@
 /** attribute_internals.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): dejan, taking, cconway
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index 523c12e3b..1c1d6dbd7 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** expr_manager_template.h
  ** Original author: dejan
- ** Major contributors: cconway, mdeters
- ** Minor contributors (to current version): taking
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): taking, cconway
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 2e901dc92..ebab8ec6d 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -2,7 +2,7 @@
 /** expr_template.cpp
  ** Original author: dejan
  ** Major contributors: mdeters
- ** Minor contributors (to current version): taking
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index 12307e679..efbdec2de 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** expr_template.h
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): taking, mdeters
+ ** Major contributors: mdeters
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node.h b/src/expr/node.h
index 875760725..6f6fdfb4d 100644
--- a/src/expr/node.h
+++ b/src/expr/node.h
@@ -2,7 +2,7 @@
 /** node.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h
index 4df174604..213a4cb35 100644
--- a/src/expr/node_builder.h
+++ b/src/expr/node_builder.h
@@ -2,7 +2,7 @@
 /** node_builder.h
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Minor contributors (to current version): taking, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp
index 29749ee5d..8f254ed9f 100644
--- a/src/expr/node_manager.cpp
+++ b/src/expr/node_manager.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_manager.cpp
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Major contributors: none
+ ** Minor contributors (to current version): dejan, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index d17ec9497..99b1471f9 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_manager.h
  ** Original author: mdeters
- ** Major contributors: dejan
- ** Minor contributors (to current version): taking
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): taking, dejan
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_value.cpp b/src/expr/node_value.cpp
index 0138aa2a5..101be5187 100644
--- a/src/expr/node_value.cpp
+++ b/src/expr/node_value.cpp
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** node_value.cpp
  ** Original author: mdeters
- ** Major contributors: none
- ** Minor contributors (to current version): dejan
+ ** Major contributors: dejan
+ ** Minor contributors (to current version): cconway
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/node_value.h b/src/expr/node_value.h
index 6408ef01a..9e8854e8f 100644
--- a/src/expr/node_value.h
+++ b/src/expr/node_value.h
@@ -2,7 +2,7 @@
 /** node_value.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway, taking
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
diff --git a/src/expr/type.cpp b/src/expr/type.cpp
index 569becab1..851c440b6 100644
--- a/src/expr/type.cpp
+++ b/src/expr/type.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /** type.cpp
  ** Original author: cconway
- ** Major contributors: none
+ ** Major contributors: mdeters
  ** 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)
diff --git a/src/expr/type.h b/src/expr/type.h
index 767ea122e..8a9d6cd70 100644
--- a/src/expr/type.h
+++ b/src/expr/type.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /** type.h
  ** Original author: cconway
- ** Major contributors: none
- ** Minor contributors (to current version): mdeters
+ ** Major contributors: mdeters
+ ** 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)
  ** Courant Institute of Mathematical Sciences