1# These files are generated by make_type_header_files.py
2*_datastructure.h
3
4Makefile
5Makefile.common
6cbmc-batch.yaml
7**/*.txt
8**/*.goto
9
10!CMakeLists.txt
11