diff options
| author |  Jacques Pienaar <jpienaar@google.com> | 2018-06-28 13:32:58 -0700 |
|---|---|---|
| committer |  Gunhan Gulsoy <gunan@google.com> | 2018-06-28 21:37:43 -0700 |
| commit | c676a9680a66181598ad4321ed371a965f04ee2d (patch) | |
| tree | 578bb731cf0a6ad2fefba51d1f62511b5bc6c94f /tools | |
| parent | 5ae5e558fc7560527492c572d79a3f3618cc54c9 (diff) | |
Dedupe incompatible ops message.
No need to repeat an incompatible op time multiple times. Used set to ensure deterministic/same ordering in error message.
PiperOrigin-RevId: 202534388
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions