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 0c39bca6f..0dcc7be68 100644 --- a/src/api/parsekinds.py +++ b/src/api/parsekinds.py @@ -34,7 +34,7 @@ US = '_' NL = '\n' # Expected C++ Enum Declarations -ENUM_START = 'enum CVC5_EXPORT Kind' +ENUM_START = 'enum Kind' ENUM_END = CCB + SC # Comments and Macro Tokens |