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

10 files changed, 67 insertions, 62 deletions

diff --git a/src/parser/antlr_parser.cpp b/src/parser/antlr_parser.cpp
index 171da47e8..053eb8a11 100644
--- a/src/parser/antlr_parser.cpp
+++ b/src/parser/antlr_parser.cpp
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** antlr_parser.cpp
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): cconway, mdeters
+ ** Major contributors: mdeters, cconway
+ ** 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/parser/antlr_parser.h b/src/parser/antlr_parser.h
index 0c6deb95a..aa32e4193 100644
--- a/src/parser/antlr_parser.h
+++ b/src/parser/antlr_parser.h
@@ -1,10 +1,10 @@
 /*********************                                           -*- C++ -*-  */
 /** antlr_parser.h
  ** Original author: dejan
- ** Major contributors: none
- ** Minor contributors (to current version): mdeters, cconway
+ ** Major contributors: cconway
+ ** Minor contributors (to current version): mdeters
  ** 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/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g
index db40be3a8..2452b1002 100644
--- a/src/parser/cvc/cvc_lexer.g
+++ b/src/parser/cvc/cvc_lexer.g
@@ -1,16 +1,17 @@
-/* cvc_lexer.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Lexer for CVC presentation language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  cvc_lexer.g
+ ** Original author: dejan
+ ** Major contributors: mdeters
+ ** 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
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ ** Lexer for CVC presentation language.
+ **/
 
 options {
   language = "Cpp";            // C++ output for antlr
diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g
index ce61deae2..5832847fc 100644
--- a/src/parser/cvc/cvc_parser.g
+++ b/src/parser/cvc/cvc_parser.g
@@ -1,16 +1,18 @@
-/* cvc_parser.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Parser for CVC presentation language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  cvc_parser.g
+ ** Original author: dejan
+ ** Major contributors: mdeters
+ ** 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
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ **
+ ** Parser for CVC presentation language.
+ **/
 
 header "post_include_hpp" {
 #include "parser/antlr_parser.h"
diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 2f9ac6724..6a70b5181 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -4,7 +4,7 @@
  ** 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/parser/parser.h b/src/parser/parser.h
index 4f0502f24..98c7267c6 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -4,7 +4,7 @@
  ** 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/parser/parser_exception.h b/src/parser/parser_exception.h
index 3504eeba2..85d50ba51 100644
--- a/src/parser/parser_exception.h
+++ b/src/parser/parser_exception.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
diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g
index f1c01ea05..6c7e4be9d 100644
--- a/src/parser/smt/smt_lexer.g
+++ b/src/parser/smt/smt_lexer.g
@@ -1,16 +1,17 @@
-/* smt_lexer.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Lexer for SMT-LIB input language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  smt_lexer.g
+ ** Original author: dejan
+ ** Major contributors: cconway, 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
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ ** Lexer for SMT-LIB input language.
+ **/
 
 options {
   language = "Cpp";            // C++ output for antlr
diff --git a/src/parser/smt/smt_parser.g b/src/parser/smt/smt_parser.g
index 65ebbb65a..fe98063cc 100644
--- a/src/parser/smt/smt_parser.g
+++ b/src/parser/smt/smt_parser.g
@@ -1,16 +1,17 @@
-/* smt_parser.g
- * Original author: dejan
- * Major contributors:
- * Minor contributors (to current version): none
- * This file is part of the CVC4 prototype.
- * Copyright (c) 2009 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
- * information.
- *
- * Parser for SMT-LIB input language.
- */
+/* *******************                                           -*- C++ -*-  */
+/*  smt_parser.g
+ ** Original author: dejan
+ ** Major contributors: mdeters, cconway
+ ** 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
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ ** Parser for SMT-LIB input language.
+ **/
 
 header "post_include_hpp" {
 #include "parser/antlr_parser.h"
diff --git a/src/parser/symbol_table.h b/src/parser/symbol_table.h
index be2a958b8..7dc3783a5 100644
--- a/src/parser/symbol_table.h
+++ b/src/parser/symbol_table.h
@@ -4,7 +4,7 @@
  ** Major contributors: dejan, mdeters
  ** 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