From 91e745e02684416186f4ea4e33cf8e42194cd7c9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 16 Sep 2011 20:53:19 +0000
Subject: [PATCH] fix serious issue with copyright-updating script

---
 contrib/update-copyright.pl          | 6 ++++++
 src/theory/shared_terms_database.cpp | 9 ++++++---
 2 files changed, 12 insertions(+), 3 deletions(-)

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 282bffd5d..397f1426b 100755
--- 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 9ec421677..1687f3480 100644
--- 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"
-- 
2.30.2