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 208fdd712..cb1586995 100644 --- a/src/api/parsekinds.py +++ b/src/api/parsekinds.py @@ -14,7 +14,7 @@ """ This script implements KindsParser which -parses the header file CVC4/src/api/cpp/cvc5_kind.h +parses the header file cvc5/src/api/cpp/cvc5_kind.h The script is aware of the '#if 0' pattern and will ignore kinds declared between '#if 0' and '#endif'. It can also |