diff options
| author | ShiruRen <renshiru2000@gmail.com> | 2018-08-06 10:10:25 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-08-06 10:11:56 -0700 |
| commit | 3ec074897f9d0aba21bc9f41be18f52bfbeb599e (patch) | |
| tree | 70ed3af086a393a38752ac293730b060c55fde00 /WORKSPACE | |
| parent | 56fa562dda18260440726a37ea467f6eb6aa6c12 (diff) | |
Fix a bug in PCIDs.Assign
Store the new assigned pcid in p.cache[pt].
Signed-off-by: ShiruRen <renshiru2000@gmail.com>
Change-Id: I4aee4e06559e429fb5e90cb9fe28b36139e3b4b6
PiperOrigin-RevId: 207563833
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions