diff options
author | makaimann <makaim@stanford.edu> | 2020-06-10 12:00:13 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-10 12:00:13 -0700 |
commit | 05c099890ae908e495ceaf26509b87896fd0ad54 (patch) | |
tree | 77db134375b258b1e00522b54d8a780e1369c1ae /src/parser | |
parent | 2a518941922855626c015a73572a5a9a5a2d0ed7 (diff) |
Fix getKind for Python bindings (#4496)
I noticed recently that getKind for Op and Term was not correct in the python bindings. This PR would add maps to keep track of the Kind objects and the Python names (which are different from the C++ Kind names). Then a Python `kind` only needs the integer representation of a `Kind` to be constructed. Now, in `getKind` it can just pass the integer representation when constructing a `kind`.
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions