Update to COPYING

diff --git a/COPYING b/COPYING
index 87fd0147fa182d9e7c86e08a49bb06d7f259c4b1..4e3e64bceea7ca378e7b45bffa4a95d0a5cd86aa 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -1,5 +1,5 @@
-CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014 by its authors
-and contributors (see the file AUTHORS) and their institutional
+CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016 by its
+authors and contributors (see the file AUTHORS) and their institutional
 affiliations.  All rights reserved.
 
 The source code of CVC4 is open and available to students, researchers,
@@ -39,7 +39,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Thu, 13 Nov 2014
+----------------------------------------------------------------------
 
 CVC4 incorporates MiniSat code, excluded from the above copyright.
 See src/sat/minisat.  Its copyright: