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 f0ac415e1..0c39bca6f 100644 --- a/src/api/parsekinds.py +++ b/src/api/parsekinds.py @@ -102,7 +102,7 @@ class KindsParser: so that the word after "Is" is capitalized Examples: - BITVECTOR_PLUS --> BVPlus + BITVECTOR_ADD --> BVAdd APPLY_SELECTOR --> ApplySelector FLOATINGPOINT_ISNAN --> FPIsNan SETMINUS --> Setminus |