diff options
author | Jay Krell <jay.krell@cornell.edu> | 2020-02-04 08:25:57 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-04 08:25:57 +0300 |
commit | 8c0f6db26f32e1c6589e9eadad5185e20e5f2ebb (patch) | |
tree | 20fb403c4a4b8e7c0b1a165a8ab69ad981039dcd /external | |
parent | f3d2cc21769050a96bc1fabb6760942dff535699 (diff) |
[interp]Fix the type of clause_args. (#18671)
[interp]Fix the type of clause_args.
Diffstat (limited to 'external')
0 files changed, 0 insertions, 0 deletions