From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 5 Apr 2010 19:23:37 +0000 (+0000)
Subject: updating COPYING file to reflect that antlr_input_imports.cpp is not under CVC4 copyright
X-Git-Tag: cvc5-1.0.0~9128
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f55a79b565151772bbf67ae2517a025c8999bca0;p=cvc5.git

updating COPYING file to reflect that antlr_input_imports.cpp is not under CVC4 copyright
---

diff --git a/COPYING b/COPYING
index f75d70573..7008c8d90 100644
--- a/COPYING
+++ b/COPYING
@@ -83,9 +83,9 @@ See config/doxygen.am.  Its copyright:
   This file is distributed under the same terms as the Automake macro files.
 
 CVC4 incorporates code from ANTLR3, excluded from the above copyright.
-See http://www.antlr.org/, and the files
-src/parser/bounded_token_buffer.h and
-src/parser/bounded_token_buffer.cpp.  Their copyright:
+See http://www.antlr.org/, and the files src/parser/bounded_token_buffer.h,
+src/parser/bounded_token_buffer.cpp, and src/parser/antlr_input_imports.cpp.
+Their copyright:
 
   [The "BSD licence"]
   Copyright (c) 2005-2009 Jim Idle, Temporal Wave LLC