fix serious issue with copyright-updating script

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 282bffd5da1ed7eea221b5f35ff38cb6696412f9..397f1426b9ceec21954acbcb8676e08a3223def8 100755 (executable)
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -170,6 +170,12 @@ sub handleFile {
     print $OUT " **\n";
     while(my $line = <$IN>) {
       last if $line =~ /^ \*\*\s*$/;
+      if($line =~ /\*\//) {
+        print $OUT " ** [[ Add lengthier description here ]]\n";
+        print $OUT " ** \\todo document this file\n";
+        print $OUT $line;
+        last;
+      }
     }
   } else {
     my $line = $_;

diff --git a/src/theory/shared_terms_database.cpp b/src/theory/shared_terms_database.cpp
index 9ec421677badb5beadf123132afc5b89f2e1472e..1687f34806793e8bf2f2b4264964edb2ab61b6cf 100644 (file)
--- a/src/theory/shared_terms_database.cpp
+++ b/src/theory/shared_terms_database.cpp
@@ -1,15 +1,18 @@
 /*********************                                                        */
-/*! \file shared_terms_manager.cpp
+/*! \file shared_terms_database.cpp
  ** \verbatim
  ** Original author: dejan
- ** Major contributors: 
- ** Minor contributors (to current version):
+ ** 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
  ** See the file COPYING in the top-level source directory for licensing
  ** information.\endverbatim
+ **
+ ** [[ Add lengthier description here ]]
+ ** \todo document this file
  **/
 
 #include "theory/shared_terms_database.h"