diff options
| author | Jack Koenig | 2022-04-05 09:17:34 -0700 |
|---|---|---|
| committer | GitHub | 2022-04-05 09:17:34 -0700 |
| commit | aea60aa16e59e29a83d3724c2e3d189d99b2749f (patch) | |
| tree | f7e9ff89d488dcebe9efb25cfba58eb87c2ae04a /project | |
| parent | a2d48a5896335a567ddb21ed87fe38cd65d4764d (diff) | |
Use circuit name hashCode for circuit anno hashCode (#2504)
It is unclear if having more than one circuit annotation even works. If
it does, it is implausible that they would have the same circuit name
since that would correspond to a namespace collision.
Diffstat (limited to 'project')
0 files changed, 0 insertions, 0 deletions