Introduce quantifiers inference manager (#5821)

[cvc5.git] / src / theory / CMakeLists.txt

diff --git a/src/theory/CMakeLists.txt b/src/theory/CMakeLists.txt
index 4c2f66a0e54a125db7245976e4426aea0fce47db..d63e297a17d43d909879e2fe8f2b9eba93013f25 100644 (file)
--- a/src/theory/CMakeLists.txt
+++ b/src/theory/CMakeLists.txt
@@ -1,3 +1,13 @@
+#####################
+## CMakeLists.txt
+## Top contributors (to current version):
+##   Aina Niemetz, Mathias Preiner
+## This file is part of the CVC4 project.
+## Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
+## in the top-level source directory and their institutional affiliations.
+## All rights reserved.  See the file COPYING in the top-level source
+## directory for licensing information.
+##
 libcvc4_add_sources(GENERATED
   rewriter_tables.h
   theory_traits.h