diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:28:45 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-22 12:28:45 -0500 |
commit | ff8ead3db3e5fa90839c82cc38215df3c3ef73c1 (patch) | |
tree | 93341541ec4bfa44b9c4ff22c362b11b532d2120 /COPYING | |
parent | cc8532543332bda3d0630f0b0816a131d49e57eb (diff) |
update ANTLR URLs (antlr.org -> antlr3.org)
Diffstat (limited to 'COPYING')
-rw-r--r-- | COPYING | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -199,7 +199,7 @@ http://www.boost.org/LICENSE_1_0.txt and reprinted below: DEALINGS IN THE SOFTWARE. CVC4 incorporates code from ANTLR3, excluded from the above copyright. -See http://www.antlr.org/, and the files src/parser/bounded_token_buffer.h, +See http://www.antlr3.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: |