diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 19:10:33 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-05 19:10:33 +0000 |
commit | ec78128c2cc4958d462b6b6a35538eeef8f28bff (patch) | |
tree | 75bbf0343f48bc0d9dcef32cd9b3c4aadf534798 /src/parser/Makefile.am | |
parent | 802f822594a1f2f7e742b9f33d23e78cca0f6863 (diff) |
Moving code imported from libantlr3c to separate file and adding copyright exception
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index dad8059f5..276266757 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -36,6 +36,7 @@ libcvc4parser_la_SOURCES = libcvc4parser_noinst_la_SOURCES = \ antlr_input.h \ antlr_input.cpp \ + antlr_input_imports.cpp \ bounded_token_buffer.h \ bounded_token_buffer.cpp \ bounded_token_factory.h \ |