# These files are generated by make_type_header_files.py
*_datastructure.h

Makefile
Makefile.common
cbmc-batch.yaml
**/*.txt
**/*.goto

!CMakeLists.txt