diff options
Diffstat (limited to 'src/api/parsekinds.py')
-rw-r--r-- | src/api/parsekinds.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/api/parsekinds.py b/src/api/parsekinds.py index cb1586995..30f182b02 100644 --- a/src/api/parsekinds.py +++ b/src/api/parsekinds.py @@ -34,7 +34,7 @@ US = '_' NL = '\n' # Enum Declarations -ENUM_START = 'enum CVC4_EXPORT Kind' +ENUM_START = 'enum CVC5_EXPORT Kind' ENUM_END = CCB + SC # Comments and Macro Tokens |