diff options
| author | Kareem El-Faramawi <kareem02@gmail.com> | 2018-02-26 09:59:06 -0500 |
|---|---|---|
| committer | plafosse <peter@vector35.com> | 2018-02-26 09:59:06 -0500 |
| commit | 1b044bf3988500367391467064696832a0edff41 (patch) | |
| tree | c4af5275761e63fca3f0594bde14eef9cfd44e7f /python/scriptingprovider.py | |
| parent | ef91ab7f3b648051b72fd06dd05eff3c57fa7f65 (diff) | |
Fix type error for get_semantic_{flag,class}_name (#957)
{group,class}_index might be a long, which would throw a ValueError
Diffstat (limited to 'python/scriptingprovider.py')
0 files changed, 0 insertions, 0 deletions