+#####################
+## 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