diff options
Diffstat (limited to 'src/api/parsekinds.py')
-rw-r--r-- | src/api/parsekinds.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/api/parsekinds.py b/src/api/parsekinds.py index 0b86d8cec..89116ff0e 100644 --- a/src/api/parsekinds.py +++ b/src/api/parsekinds.py @@ -21,9 +21,6 @@ handle nested '#if 0' pairs. from collections import OrderedDict -#################### Default Filenames ################ -DEFAULT_HEADER = 'cvc4cppkind.h' - ##################### Useful Constants ################ OCB = '{' CCB = '}' |