Regenerated copyrights: canonicalized names, no emails

10 files changed, 18 insertions, 18 deletions

diff --git a/src/decision/decision_engine.cpp b/src/decision/decision_engine.cpp
index bba44bb70..687515ff0 100644
--- a/src/decision/decision_engine.cpp
+++ b/src/decision/decision_engine.cpp
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file decision_engine.cpp
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Tim King, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h
index da548784f..5d7c5ea74 100644
--- a/src/decision/decision_engine.h
+++ b/src/decision/decision_engine.h
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file decision_engine.h
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Clark Barrett <barrett@cs.nyu.edu>, Dejan Jovanović <dejan.jovanovic@gmail.com>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Clark Barrett, Dejan Jovanovic, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/decision_mode.cpp b/src/decision/decision_mode.cpp
index 6b398570b..dfbd035f7 100644
--- a/src/decision/decision_mode.cpp
+++ b/src/decision/decision_mode.cpp
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /*! \file decision_mode.cpp
  ** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
diff --git a/src/decision/decision_mode.h b/src/decision/decision_mode.h
index 6a02c1d2d..335e6279e 100644
--- a/src/decision/decision_mode.h
+++ b/src/decision/decision_mode.h
@@ -1,7 +1,7 @@
 /*********************                                                        */
 /*! \file decision_mode.h
  ** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
  ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h
index 22b6e515a..7f6f30a0a 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -1,8 +1,8 @@
 /*********************                                                        */
 /*! \file decision_strategy.h
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
- ** Major contributors: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
+ ** Major contributors: Morgan Deters
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
diff --git a/src/decision/justification_heuristic.cpp b/src/decision/justification_heuristic.cpp
index ae4eefe11..28d26adb1 100644
--- a/src/decision/justification_heuristic.cpp
+++ b/src/decision/justification_heuristic.cpp
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file justification_heuristic.cpp
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/justification_heuristic.h b/src/decision/justification_heuristic.h
index d4adaefd1..503f6c2af 100644
--- a/src/decision/justification_heuristic.h
+++ b/src/decision/justification_heuristic.h
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file justification_heuristic.h
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Tim King, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/options_handlers.h b/src/decision/options_handlers.h
index b18180f69..1d4321614 100644
--- a/src/decision/options_handlers.h
+++ b/src/decision/options_handlers.h
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file options_handlers.h
  ** \verbatim
- ** Original author: Morgan Deters <mdeters@cs.nyu.edu>
+ ** Original author: Morgan Deters
  ** Major contributors: none
- ** Minor contributors (to current version): Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Minor contributors (to current version): Kshitij Bansal
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/relevancy.cpp b/src/decision/relevancy.cpp
index fb79293b9..f83e238d4 100644
--- a/src/decision/relevancy.cpp
+++ b/src/decision/relevancy.cpp
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file relevancy.cpp
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Dejan Jovanović <dejan@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Dejan Jovanovic, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing
diff --git a/src/decision/relevancy.h b/src/decision/relevancy.h
index 115ef2e49..fd16eb0cc 100644
--- a/src/decision/relevancy.h
+++ b/src/decision/relevancy.h
@@ -1,9 +1,9 @@
 /*********************                                                        */
 /*! \file relevancy.h
  ** \verbatim
- ** Original author: Kshitij Bansal <kshitij@cs.nyu.edu>
+ ** Original author: Kshitij Bansal
  ** Major contributors: none
- ** Minor contributors (to current version): Tim King <taking@cs.nyu.edu>, Dejan Jovanović <dejan@cs.nyu.edu>, Morgan Deters <mdeters@cs.nyu.edu>
+ ** Minor contributors (to current version): Tim King, Dejan Jovanovic, Morgan Deters
  ** This file is part of the CVC4 project.
  ** Copyright (c) 2009-2013  New York University and The University of Iowa
  ** See the file COPYING in the top-level source directory for licensing